0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277624-1169269495/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.40	       =>  wckTime=0.091  cpuTime=0.09  mem=6M887
0.40	   
0.40	   relations being loaded...
0.41	   
0.41	   constraints being loaded...
0.57	     nbConstraints=674  nbRelationTypes=14  nbExtensionStructures=14  nbSharedExtensionStructures=660
0.57	     nbConflictsStructures=14  nbSharedConflictsStructures=660  nbSharedBinaryRepresentations=52  maxDegree=38
0.57	     maxArity=2
0.57	       =>  wckTime=0.256  cpuTime=0.18  mem=8M837
0.61	   
0.61	   solver LocalSearchSolver being built... 
0.65	       =>  wckTime=0.339  cpuTime=0.22  mem=5M698
0.65	
0.65	s SATISFIABLE
0.66	o 350
0.66	c 324
0.66	o 356
0.66	c 318
0.66	o 361
0.66	c 313
0.66	o 365
0.66	c 309
0.66	o 366
0.66	c 308
0.66	o 368
0.66	c 306
0.66	o 370
0.66	c 304
0.66	o 375
0.66	c 299
0.66	o 376
0.66	c 298
0.67	o 380
0.67	c 294
0.67	o 382
0.67	c 292
0.67	o 384
0.67	c 290
0.67	o 385
0.67	c 289
0.67	o 386
0.67	c 288
0.67	o 392
0.67	c 282
0.67	o 393
0.67	c 281
0.69	o 395
0.69	c 279
0.77	o 396
0.77	c 278
0.86	o 398
0.86	c 276
0.94	o 401
0.94	c 273
0.94	o 402
0.94	c 272
0.99	o 403
0.99	c 271
3.08	   
3.08	   search
3.08	     run=0  nbConstraintChecks=10966827  nbAssignments=10000
3.08	       =>  wckTime=2.433  cpuTime=2.39  mem=5M698
5.45	   
5.45	   search
5.45	     run=1  nbConstraintChecks=22038959  nbAssignments=20000
5.45	       =>  wckTime=4.799  cpuTime=4.73  mem=5M698
7.80	   
7.80	   search
7.80	     run=2  nbConstraintChecks=33016884  nbAssignments=30000
7.80	       =>  wckTime=7.155  cpuTime=7.07  mem=5M698
10.20	   
10.20	   search
10.20	     run=3  nbConstraintChecks=44095741  nbAssignments=40000
10.20	       =>  wckTime=9.547  cpuTime=9.44  mem=5M698
12.56	   
12.56	   search
12.56	     run=4  nbConstraintChecks=55065617  nbAssignments=50000
12.56	       =>  wckTime=11.917  cpuTime=11.78  mem=5M698
14.96	   
14.96	   search
14.96	     run=5  nbConstraintChecks=66137293  nbAssignments=60000
14.96	       =>  wckTime=14.308  cpuTime=14.15  mem=5M698
17.32	   
17.32	   search
17.32	     run=6  nbConstraintChecks=77112869  nbAssignments=70000
17.32	       =>  wckTime=16.677  cpuTime=16.5  mem=5M698
19.69	   
19.69	   search
19.69	     run=7  nbConstraintChecks=88178341  nbAssignments=80000
19.69	       =>  wckTime=19.046  cpuTime=18.84  mem=5M698
21.89	   
21.89	   search
21.89	     run=8  nbConstraintChecks=99150775  nbAssignments=90000
21.89	       =>  wckTime=21.245  cpuTime=21.04  mem=5M698
24.09	   
24.09	   search
24.09	     run=9  nbConstraintChecks=110221693  nbAssignments=100000
24.09	       =>  wckTime=23.437  cpuTime=23.23  mem=5M698
26.26	   
26.26	   search
26.26	     run=10  nbConstraintChecks=121195036  nbAssignments=110000
26.26	       =>  wckTime=25.617  cpuTime=25.4  mem=5M698
28.44	   
28.44	   search
28.44	     run=11  nbConstraintChecks=132276748  nbAssignments=120000
28.44	       =>  wckTime=27.797  cpuTime=27.58  mem=5M698
30.60	   
30.60	   search
30.60	     run=12  nbConstraintChecks=143246716  nbAssignments=130000
30.60	       =>  wckTime=29.953  cpuTime=29.74  mem=5M698
31.21	   
31.21	   search
31.21	     run=13  nbConstraintChecks=146356382  nbAssignments=132807
31.21	       =>  wckTime=30.564  cpuTime=30.35  mem=5M698
31.21	   
31.21	   global
31.21	     nbConstraintChecks=146356382  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.21	     solvingWckTime=30.561  solvingCpuTime=30.34  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.21	     globalCpuTime=30.63
31.21	       =>  wckTime=30.902  cpuTime=30.57  mem=5M698
31.21	   
31.21	   solver IterativeSystematicSolver being built... 
31.35	       =>  wckTime=31.034  cpuTime=30.68  mem=16M815
31.40	   
31.40	   preprocessing
31.40	     nbConstraintChecks=52489  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.40	     detectedInconsistency=no
31.40	       =>  wckTime=0.049  cpuTime=0.03  mem=16M815
31.44	   
31.44	   search
31.44	     run=0  nbConstraintChecks=60975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36
31.44	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=53  nbRestartNogoods=0
31.44	       =>  wckTime=0.087  cpuTime=0.06  mem=16M815
31.48	   
31.48	   search
31.48	     run=1  nbConstraintChecks=144911  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=81
31.48	     nbFailedAssignments=19  nbBacktracks=26  nbVisitedNodes=123  nbRestartNogoods=1
31.48	       =>  wckTime=0.135  cpuTime=0.1  mem=16M815
31.52	   
31.52	   search
31.52	     run=2  nbConstraintChecks=258759  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=139
31.52	     nbFailedAssignments=34  nbBacktracks=49  nbVisitedNodes=218  nbRestartNogoods=2
31.52	       =>  wckTime=0.176  cpuTime=0.14  mem=16M815
31.58	   
31.58	   search
31.58	     run=3  nbConstraintChecks=414089  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=211
31.58	     nbFailedAssignments=58  nbBacktracks=82  nbVisitedNodes=347  nbRestartNogoods=4
31.58	       =>  wckTime=0.232  cpuTime=0.19  mem=16M815
31.66	   
31.66	   search
31.66	     run=4  nbConstraintChecks=634955  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=310
31.66	     nbFailedAssignments=90  nbBacktracks=132  nbVisitedNodes=528  nbRestartNogoods=5
31.66	       =>  wckTime=0.315  cpuTime=0.28  mem=16M815
31.77	   
31.77	   search
31.77	     run=5  nbConstraintChecks=914196  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=440
31.77	     nbFailedAssignments=126  nbBacktracks=208  nbVisitedNodes=766  nbRestartNogoods=7
31.77	       =>  wckTime=0.419  cpuTime=0.38  mem=16M815
31.93	   
31.93	   search
31.93	     run=6  nbConstraintChecks=1375285  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=649
31.93	     nbFailedAssignments=200  nbBacktracks=322  nbVisitedNodes=1157  nbRestartNogoods=9
31.93	       =>  wckTime=0.582  cpuTime=0.54  mem=16M815
32.18	   
32.18	   search
32.18	     run=7  nbConstraintChecks=2071137  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=965
32.18	     nbFailedAssignments=326  nbBacktracks=493  nbVisitedNodes=1750  nbRestartNogoods=13
32.18	       =>  wckTime=0.836  cpuTime=0.79  mem=16M815
32.59	   
32.59	   search
32.59	     run=8  nbConstraintChecks=3085321  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1395
32.59	     nbFailedAssignments=484  nbBacktracks=751  nbVisitedNodes=2588  nbRestartNogoods=17
32.59	       =>  wckTime=1.242  cpuTime=1.18  mem=16M815
33.17	   
33.17	   search
33.17	     run=9  nbConstraintChecks=4661379  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2071
33.17	     nbFailedAssignments=759  nbBacktracks=1135  nbVisitedNodes=3903  nbRestartNogoods=20
33.17	       =>  wckTime=1.819  cpuTime=1.74  mem=16M815
33.99	   
33.99	   search
33.99	     run=10  nbConstraintChecks=7001803  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3035
33.99	     nbFailedAssignments=1132  nbBacktracks=1712  nbVisitedNodes=5798  nbRestartNogoods=23
33.99	       =>  wckTime=2.644  cpuTime=2.56  mem=16M815
35.27	   
35.27	   search
35.27	     run=11  nbConstraintChecks=10466028  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4478
35.27	     nbFailedAssignments=1696  nbBacktracks=2576  nbVisitedNodes=8636  nbRestartNogoods=27
35.27	       =>  wckTime=3.922  cpuTime=3.83  mem=16M815
37.12	   
37.12	   search
37.12	     run=12  nbConstraintChecks=15735631  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6731
37.12	     nbFailedAssignments=2634  nbBacktracks=3875  nbVisitedNodes=13086  nbRestartNogoods=30
37.12	       =>  wckTime=5.774  cpuTime=5.69  mem=16M815
39.90	   
39.90	   search
39.90	     run=13  nbConstraintChecks=23663431  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10049
39.90	     nbFailedAssignments=3989  nbBacktracks=5821  nbVisitedNodes=19624  nbRestartNogoods=34
39.90	       =>  wckTime=8.555  cpuTime=8.44  mem=16M815
44.22	   
44.22	   search
44.22	     run=14  nbConstraintChecks=35995970  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15034
44.22	     nbFailedAssignments=6042  nbBacktracks=8740  nbVisitedNodes=29491  nbRestartNogoods=40
44.22	       =>  wckTime=12.872  cpuTime=12.76  mem=16M815
51.21	   
51.21	   search
51.21	     run=15  nbConstraintChecks=54972920  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22668
51.21	     nbFailedAssignments=9284  nbBacktracks=13118  nbVisitedNodes=44599  nbRestartNogoods=45
51.21	       =>  wckTime=19.859  cpuTime=19.73  mem=16M815
60.50	   
60.50	   search
60.50	     run=16  nbConstraintChecks=80919156  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33518
60.50	     nbFailedAssignments=13554  nbBacktracks=19686  nbVisitedNodes=66006  nbRestartNogoods=52
60.50	       =>  wckTime=29.15  cpuTime=29.01  mem=16M815
75.40	   
75.41	   search
75.41	     run=17  nbConstraintChecks=121631858  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=50351
75.41	     nbFailedAssignments=20522  nbBacktracks=29540  nbVisitedNodes=99142  nbRestartNogoods=60
75.41	       =>  wckTime=44.058  cpuTime=43.92  mem=16M815
96.77	   
96.77	   search
96.77	     run=18  nbConstraintChecks=180658596  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=74277
96.77	     nbFailedAssignments=29655  nbBacktracks=44319  nbVisitedNodes=146511  nbRestartNogoods=63
96.77	       =>  wckTime=65.426  cpuTime=65.25  mem=16M815
130.64	   
130.64	   search
130.64	     run=19  nbConstraintChecks=271820344  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=111248
130.64	     nbFailedAssignments=44446  nbBacktracks=66488  nbVisitedNodes=219701  nbRestartNogoods=70
130.64	       =>  wckTime=99.289  cpuTime=99.07  mem=16M815
184.02	   
184.02	   search
184.02	     run=20  nbConstraintChecks=414434038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=169119
184.02	     nbFailedAssignments=69051  nbBacktracks=99740  nbVisitedNodes=333688  nbRestartNogoods=77
184.02	       =>  wckTime=152.675  cpuTime=152.4  mem=16M815
261.66	   
261.66	   search
261.66	     run=21  nbConstraintChecks=621531606  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=254693
261.66	     nbFailedAssignments=104740  nbBacktracks=149618  nbVisitedNodes=501610  nbRestartNogoods=84
261.66	       =>  wckTime=230.308  cpuTime=229.96  mem=16M815
379.34	   
379.34	   search
379.34	     run=22  nbConstraintChecks=933727494  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=384195
379.34	     nbFailedAssignments=159409  nbBacktracks=224437  nbVisitedNodes=755865  nbRestartNogoods=90
379.34	       =>  wckTime=347.989  cpuTime=347.51  mem=16M815
554.85	   
554.85	   search
554.85	     run=23  nbConstraintChecks=1389872405  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=575212
554.85	     nbFailedAssignments=238180  nbBacktracks=336664  nbVisitedNodes=1130739  nbRestartNogoods=96
554.85	       =>  wckTime=523.503  cpuTime=522.82  mem=16M815
817.04	   
817.04	   search
817.04	     run=24  nbConstraintChecks=2072041032  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=860939
817.04	     nbFailedAssignments=355555  nbBacktracks=505005  nbVisitedNodes=1687649  nbRestartNogoods=103
817.04	       =>  wckTime=785.691  cpuTime=784.72  mem=16M815
864.10	   
864.10	   search
864.10	     run=25  nbConstraintChecks=2192744389  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=912183
864.10	     nbFailedAssignments=374873  nbBacktracks=536932  nbVisitedNodes=1786274  nbRestartNogoods=108
864.10	       =>  wckTime=832.749  cpuTime=831.73  mem=16M815
864.10	   
864.10	   global
864.10	     nbConstraintChecks=2192796878  nbRestartNogoods=108  solvingWckTime=832.75  solvingCpuTime=831.73  expiredTime=no
864.10	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=862.47
864.10	       =>  wckTime=863.785  cpuTime=862.41  mem=16M815
864.10	
864.10	s OPTIMUM FOUND
864.10	v 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 
864.10	   
864.10	   totalWckTime=863.872  totalCpuTime=862.48
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-277624-1169269495 -o ROOT/results/node19/solver-277624-1169269495 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277624-1169269495/unknown.xml 
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.95 2.00 1.99 4/93 17433
/proc/meminfo: memFree=1147632/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=906644 CPUtime=0.02
/proc/17432/stat : 17432 (java) S 17430 17432 17244 0 -1 0 2068 0 1 0 2 0 0 0 18 0 2 0 275344113 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 226661 1817 1036 14 0 214244 0
[pid=17432/tid=17434] ppid=17430 vsize=906644 CPUtime=0
/proc/17432/task/17434/stat : 17434 (java) R 17430 17432 17244 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 275344116 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103183 s]
/proc/loadavg: 1.95 2.00 1.99 4/93 17433
/proc/meminfo: memFree=1147632/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=914988 CPUtime=0.09
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 3019 0 1 0 8 1 0 0 18 0 8 0 275344113 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819345 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 228747 2765 1435 14 0 215242 0
[pid=17432/tid=17434] ppid=17430 vsize=914988 CPUtime=0
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 275344116 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515262 s]
/proc/loadavg: 1.95 2.00 1.99 4/93 17433
/proc/meminfo: memFree=1147632/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915332 CPUtime=0.49
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 6429 0 1 0 46 3 0 0 18 0 8 0 275344113 937299968 6168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 228833 6168 2149 14 0 215303 0
[pid=17432/tid=17434] ppid=17430 vsize=915332 CPUtime=0
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 275344116 937299968 6168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33841 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 17440
/proc/meminfo: memFree=1129400/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=1.31
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 7279 0 1 0 116 15 0 0 25 0 8 0 275344113 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 228865 7017 2479 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.13
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 275344120 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97572 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 17440
/proc/meminfo: memFree=1129336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915464 CPUtime=2.93
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 7280 0 1 0 251 42 0 0 25 0 8 0 275344113 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 228866 7017 2479 14 0 215336 0
[pid=17432/tid=17434] ppid=17430 vsize=915464 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 275344116 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915464 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915464 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915464 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915464 CPUtime=0.13
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 341 0 0 0 13 0 0 0 16 0 8 0 275344120 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915464 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915464 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937435136 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.27434 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 17440
/proc/meminfo: memFree=1129336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=6.19
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 7282 0 1 0 520 99 0 0 25 0 8 0 275344113 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 228865 7019 2479 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.14
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 275344120 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 7019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7496 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 17440
/proc/meminfo: memFree=1129344/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=12.61
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 7283 0 1 0 1052 209 0 0 25 0 8 0 275344113 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17432/statm: 228865 7020 2479 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.14
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 344 0 0 0 14 0 0 0 16 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460
[startup+25.606 s]
/proc/loadavg: 1.88 1.98 1.99 3/93 17522
/proc/meminfo: memFree=1156272/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915464 CPUtime=25.39
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 7283 0 1 0 2112 427 0 0 25 0 8 0 275344113 937435136 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 7020 2479 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 203 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.14
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 344 0 0 0 14 0 0 0 16 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915464
[startup+51.2118 s]
/proc/loadavg: 1.78 1.95 1.98 2/88 17630
/proc/meminfo: memFree=1152392/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=50.94
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9189 0 1 0 4571 523 0 0 25 0 8 0 275344113 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942099 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8923 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915460
[startup+102.421 s]
/proc/loadavg: 1.90 1.96 1.98 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=102.1
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9198 0 1 0 9686 524 0 0 25 0 8 0 275344113 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8931 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 915460
################
# More data... #
################
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 915460
[startup+462.722 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=462.01
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9210 0 1 0 45676 525 0 0 25 0 8 0 275344113 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884833 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8942 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 915460
[startup+522.768 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 17675
/proc/meminfo: memFree=1124400/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=522
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9210 0 1 0 51675 525 0 0 25 0 8 0 275344113 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8942 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 915460
[startup+582.813 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=581.96
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9212 0 1 0 57671 525 0 0 25 0 8 0 275344113 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885850 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8944 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 915460
[startup+642.867 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=641.96
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9212 0 1 0 63671 525 0 0 25 0 8 0 275344113 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8944 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 915460
[startup+702.922 s]
/proc/loadavg: 2.04 2.01 1.99 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=701.95
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9212 0 1 0 69670 525 0 0 25 0 8 0 275344113 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8944 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 915460
[startup+762.975 s]
/proc/loadavg: 2.01 2.01 1.99 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=761.93
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9212 0 1 0 75667 526 0 0 25 0 8 0 275344113 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823561 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8944 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8944 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 915460
[startup+823.023 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 17675
/proc/meminfo: memFree=1124336/2055920 swapFree=4171264/4192956
[pid=17432] ppid=17430 vsize=915460 CPUtime=821.92
/proc/17432/stat : 17432 (java) R 17430 17432 17244 0 -1 0 9214 0 1 0 81666 526 0 0 25 0 8 0 275344113 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17432/statm: 228865 8946 2532 14 0 215335 0
[pid=17432/tid=17434] ppid=17430 vsize=915460 CPUtime=0.02
/proc/17432/task/17434/stat : 17434 (java) S 17430 17432 17244 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 275344116 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17435] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17435/stat : 17435 (java) S 17430 17432 17244 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275344117 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17436] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17436/stat : 17436 (java) S 17430 17432 17244 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275344117 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17437] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17437/stat : 17437 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275344120 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17438] ppid=17430 vsize=915460 CPUtime=0.24
/proc/17432/task/17438/stat : 17438 (java) S 17430 17432 17244 0 -1 64 403 0 0 0 23 1 0 0 16 0 8 0 275344120 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17432/tid=17439] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17439/stat : 17439 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275344120 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17432/tid=17440] ppid=17430 vsize=915460 CPUtime=0
/proc/17432/task/17440/stat : 17440 (java) S 17430 17432 17244 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275344120 937431040 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 864.121
CPU time (s): 862.971
CPU user time (s): 857.701
CPU system time (s): 5.2702
CPU usage (%): 99.8669
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 857.701
system time used= 5.2702
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9313
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18632
involuntary context switches= 25068
runsolver used 1.04984 s user time and 2.78258 s system time
The end
 
Begin job on node19 on Sat Jan 20 05:04:55 UTC 2007
IDJOB= 277624
IDBENCH= 7496
IDSOLVER= 68
FILE ID= node19/277624-1169269495
PBS_JOBID= 3607413
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-1100-2000/cnf-2-40-2000-518921_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277624-1169269495/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-277624-1169269495 -o ROOT/results/node19/solver-277624-1169269495 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277624-1169269495/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  27fbe854dfd45dde8eee7bfb89ad107a
RANDOM SEED= 782315065
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.260
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:
processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.260
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1148112 kB
Buffers:         62336 kB
Cached:         701332 kB
SwapCached:      10172 kB
Active:         369960 kB
Inactive:       458024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1148112 kB
SwapTotal:     4192956 kB
SwapFree:      4171264 kB
Dirty:            2108 kB
Writeback:           0 kB
Mapped:          83272 kB
Slab:            64204 kB
Committed_AS:  8307772 kB
PageTables:       2488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node19 on Sat Jan 20 05:19:19 UTC 2007