0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/280396-1169305544/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=20  nbDomainTypes=1  minDomainSize=10  maxDomainSize=10
0.42	       =>  wckTime=0.098  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.64	   
0.64	   constraints being loaded...
0.74	     nbConstraints=5  nbRelationTypes=5  nbDisconnectedVariables=2  nbExtensionStructures=5
0.74	     nbSharedExtensionStructures=0  nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=0  maxDegree=5
0.74	     maxArity=10
0.74	       =>  wckTime=0.42  cpuTime=0.38  mem=38M374
0.81	   
0.81	   solver LocalSearchSolver being built... 
0.85	       =>  wckTime=0.527  cpuTime=0.43  mem=10M980
0.85	
0.85	s SATISFIABLE
0.85	o 0
0.85	c 5
3.17	o 1
3.17	c 4
6.63	   
6.63	   search
6.63	     run=0  nbConstraintChecks=4339262  nbAssignments=10000
6.63	       =>  wckTime=5.783  cpuTime=5.71  mem=10M980
11.90	   
11.90	   search
11.90	     run=1  nbConstraintChecks=8703267  nbAssignments=20000
11.90	       =>  wckTime=11.052  cpuTime=10.97  mem=10M980
17.17	   
17.17	   search
17.17	     run=2  nbConstraintChecks=13035078  nbAssignments=30000
17.17	       =>  wckTime=16.319  cpuTime=16.22  mem=10M980
22.51	   
22.51	   search
22.51	     run=3  nbConstraintChecks=17129989  nbAssignments=40000
22.51	       =>  wckTime=21.668  cpuTime=21.53  mem=10M980
28.24	   
28.24	   search
28.24	     run=4  nbConstraintChecks=21492432  nbAssignments=50000
28.24	       =>  wckTime=27.397  cpuTime=27.21  mem=10M980
33.39	   
33.39	   search
33.39	     run=5  nbConstraintChecks=25434381  nbAssignments=59767
33.39	       =>  wckTime=32.539  cpuTime=32.3  mem=10M980
33.39	   
33.39	   global
33.39	     nbConstraintChecks=25434381  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.39	     solvingWckTime=32.539  solvingCpuTime=32.3  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.39	     globalCpuTime=32.78
33.39	       =>  wckTime=33.068  cpuTime=32.73  mem=10M980
33.39	   
33.39	   solver IterativeSystematicSolver being built... 
33.53	       =>  wckTime=33.209  cpuTime=32.83  mem=21M682
34.24	   
34.24	   preprocessing
34.24	     nbConstraintChecks=603205  nbValidityChecks=613344  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.24	     nbRemovedValues=0  detectedInconsistency=no
34.24	       =>  wckTime=0.709  cpuTime=0.68  mem=21M682
34.30	o 2
34.30	c 3
34.32	   
34.32	   search
34.32	     run=0  nbConstraintChecks=52430  nbValidityChecks=59830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.32	     nbAssignments=29  nbFailedAssignments=7  nbBacktracks=18  nbVisitedNodes=45  nbRestartNogoods=0
34.32	       =>  wckTime=0.784  cpuTime=0.75  mem=22M660
34.59	   
34.59	   search
34.59	     run=1  nbConstraintChecks=261474  nbValidityChecks=293737  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.59	     nbAssignments=81  nbFailedAssignments=38  nbBacktracks=33  nbVisitedNodes=131  nbRestartNogoods=1
34.59	       =>  wckTime=1.058  cpuTime=1.01  mem=22M660
35.07	   
35.07	   search
35.07	     run=2  nbConstraintChecks=658715  nbValidityChecks=743903  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.07	     nbAssignments=173  nbFailedAssignments=100  nbBacktracks=55  nbVisitedNodes=305  nbRestartNogoods=13
35.07	       =>  wckTime=1.536  cpuTime=1.49  mem=22M660
35.26	   
35.26	   search
35.26	     run=3  nbConstraintChecks=792119  nbValidityChecks=928555  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.26	     nbAssignments=272  nbFailedAssignments=160  nbBacktracks=88  nbVisitedNodes=485  nbRestartNogoods=33
35.26	       =>  wckTime=1.732  cpuTime=1.66  mem=22M660
35.83	   
35.83	   search
35.83	     run=4  nbConstraintChecks=1247305  nbValidityChecks=1490293  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.83	     nbAssignments=463  nbFailedAssignments=296  nbBacktracks=138  nbVisitedNodes=852  nbRestartNogoods=46
35.83	       =>  wckTime=2.298  cpuTime=2.23  mem=22M660
36.48	   
36.48	   search
36.48	     run=5  nbConstraintChecks=1761985  nbValidityChecks=2123975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
36.48	     nbAssignments=683  nbFailedAssignments=436  nbBacktracks=213  nbVisitedNodes=1268  nbRestartNogoods=61
36.48	       =>  wckTime=2.95  cpuTime=2.87  mem=22M660
37.54	   
37.54	   search
37.54	     run=6  nbConstraintChecks=2594407  nbValidityChecks=3176589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.54	     nbAssignments=1080  nbFailedAssignments=715  nbBacktracks=326  nbVisitedNodes=2036  nbRestartNogoods=68
37.54	       =>  wckTime=4.012  cpuTime=3.91  mem=22M660
39.70	   
39.70	   search
39.70	     run=7  nbConstraintChecks=4389006  nbValidityChecks=5251982  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
39.70	     nbAssignments=1610  nbFailedAssignments=1071  nbBacktracks=496  nbVisitedNodes=3046  nbRestartNogoods=87
39.70	       =>  wckTime=6.166  cpuTime=6.04  mem=22M660
42.88	   
42.88	   search
42.88	     run=8  nbConstraintChecks=7143381  nbValidityChecks=8464231  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
42.88	     nbAssignments=2460  nbFailedAssignments=1660  nbBacktracks=752  nbVisitedNodes=4670  nbRestartNogoods=103
42.88	       =>  wckTime=9.353  cpuTime=9.2  mem=22M660
49.72	   
49.72	   search
49.72	     run=9  nbConstraintChecks=12848860  nbValidityChecks=14889956  nbPropagations=0  nbRevisions=0
49.72	     nbUselessRevisions=0  nbAssignments=3801  nbFailedAssignments=2610  nbBacktracks=1137  nbVisitedNodes=7248
49.72	     nbRestartNogoods=118
49.72	       =>  wckTime=16.188  cpuTime=15.97  mem=22M660
52.82	   
52.82	   search
52.82	     run=10  nbConstraintChecks=15206923  nbValidityChecks=18336215  nbPropagations=0  nbRevisions=0
52.82	     nbUselessRevisions=0  nbAssignments=5809  nbFailedAssignments=4037  nbBacktracks=1713  nbVisitedNodes=11129
52.82	     nbRestartNogoods=128
52.82	       =>  wckTime=19.293  cpuTime=19.04  mem=22M660
69.92	   
69.92	   search
69.92	     run=11  nbConstraintChecks=29634099  nbValidityChecks=34511396  nbPropagations=0  nbRevisions=0
69.92	     nbUselessRevisions=0  nbAssignments=8970  nbFailedAssignments=6329  nbBacktracks=2577  nbVisitedNodes=17285
69.92	     nbRestartNogoods=131
69.92	       =>  wckTime=36.388  cpuTime=35.97  mem=22M660
79.26	   
79.26	   search
79.26	     run=12  nbConstraintChecks=37200491  nbValidityChecks=44380411  nbPropagations=0  nbRevisions=0
79.26	     nbUselessRevisions=0  nbAssignments=13207  nbFailedAssignments=9263  nbBacktracks=3876  nbVisitedNodes=25379
79.26	     nbRestartNogoods=137
79.26	       =>  wckTime=45.725  cpuTime=45.22  mem=22M660
112.28	   
112.28	   search
112.28	     run=13  nbConstraintChecks=66003077  nbValidityChecks=76624371  nbPropagations=0  nbRevisions=0
112.28	     nbUselessRevisions=0  nbAssignments=19605  nbFailedAssignments=13707  nbBacktracks=5825  nbVisitedNodes=37713
112.28	     nbRestartNogoods=150
112.28	       =>  wckTime=78.752  cpuTime=77.94  mem=22M660
141.87	   
141.87	   search
141.87	     run=14  nbConstraintChecks=90433908  nbValidityChecks=106432353  nbPropagations=0  nbRevisions=0
141.87	     nbUselessRevisions=0  nbAssignments=29651  nbFailedAssignments=20827  nbBacktracks=8745  nbVisitedNodes=57161
141.87	     nbRestartNogoods=170
141.87	       =>  wckTime=108.341  cpuTime=107.26  mem=22M660
172.65	   
172.65	   search
172.65	     run=15  nbConstraintChecks=115034878  nbValidityChecks=139089168  nbPropagations=0  nbRevisions=0
172.65	     nbUselessRevisions=0  nbAssignments=44242  nbFailedAssignments=31035  nbBacktracks=13123  nbVisitedNodes=85430
172.65	     nbRestartNogoods=188
172.65	       =>  wckTime=139.119  cpuTime=137.76  mem=22M660
267.43	   
267.43	   search
267.43	     run=16  nbConstraintChecks=196358591  nbValidityChecks=231563654  nbPropagations=0  nbRevisions=0
267.43	     nbUselessRevisions=0  nbAssignments=65209  nbFailedAssignments=45428  nbBacktracks=19691  nbVisitedNodes=125763
267.43	     nbRestartNogoods=213
267.43	       =>  wckTime=233.9  cpuTime=231.66  mem=22M660
361.86	   
361.86	   search
361.86	     run=17  nbConstraintChecks=275706445  nbValidityChecks=327795219  nbPropagations=0  nbRevisions=0
361.86	     nbUselessRevisions=0  nbAssignments=96682  nbFailedAssignments=67043  nbBacktracks=29543  nbVisitedNodes=186435
361.86	     nbRestartNogoods=231
361.86	       =>  wckTime=328.332  cpuTime=325.23  mem=22M660
519.75	   
519.75	   search
519.75	     run=18  nbConstraintChecks=410130459  nbValidityChecks=487468257  nbPropagations=0  nbRevisions=0
519.75	     nbUselessRevisions=0  nbAssignments=143814  nbFailedAssignments=99391  nbBacktracks=44321  nbVisitedNodes=277467
519.75	     nbRestartNogoods=257
519.75	       =>  wckTime=486.215  cpuTime=481.67  mem=22M660
735.72	   
735.72	   search
735.72	     run=19  nbConstraintChecks=588281859  nbValidityChecks=704345075  nbPropagations=0  nbRevisions=0
735.72	     nbUselessRevisions=0  nbAssignments=216240  nbFailedAssignments=149643  nbBacktracks=66489  nbVisitedNodes=417429
735.72	     nbRestartNogoods=269
735.72	       =>  wckTime=702.185  cpuTime=695.66  mem=22M660
964.98	   
964.98	   search
964.98	     run=20  nbConstraintChecks=774357466  nbValidityChecks=946672921  nbPropagations=0  nbRevisions=0
964.98	     nbUselessRevisions=0  nbAssignments=321465  nbFailedAssignments=221612  nbBacktracks=99741  nbVisitedNodes=619911
964.98	     nbRestartNogoods=287
964.98	       =>  wckTime=931.449  cpuTime=922.82  mem=22M660
1513.48	   
1513.48	   search
1513.48	     run=21  nbConstraintChecks=1238467360  nbValidityChecks=1497373869  nbPropagations=0  nbRevisions=0
1513.48	     nbUselessRevisions=0  nbAssignments=481754  nbFailedAssignments=332017  nbBacktracks=149620  nbVisitedNodes=931495
1513.48	     nbRestartNogoods=299
1513.48	       =>  wckTime=1479.947  cpuTime=1468.55  mem=22M660
2192.94	   
2192.94	   search
2192.94	     run=22  nbConstraintChecks=1812369551  nbValidityChecks=2191683003  nbPropagations=0  nbRevisions=0
2192.94	     nbUselessRevisions=0  nbAssignments=708114  nbFailedAssignments=483556  nbBacktracks=224439  nbVisitedNodes=1365729
2192.94	     nbRestartNogoods=335
2192.94	       =>  wckTime=2159.408  cpuTime=2144.8  mem=22M660
2415.85	v 4 0 0 0 0 0 0 0 9 3 2 3 6 9 5 4 1 0 2 0 
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-280396-1169305544 -o ROOT/results/node43/solver-280396-1169305544 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/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.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=18540 CPUtime=0
/proc/3385/stat : 3385 (runsolver) R 3383 3385 2900 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 278953627 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3385/statm: 4635 279 244 17 0 2626 0
[startup+0.107911 s]
/proc/loadavg: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=914988 CPUtime=0.08
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 278953627 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519022 s]
/proc/loadavg: 1.85 1.97 1.90 4/80 3386
/proc/meminfo: memFree=1357776/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915332 CPUtime=0.48
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 7993 0 1 0 44 4 0 0 18 0 8 0 278953627 937299968 7732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228833 7732 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.34011 s]
/proc/loadavg: 1.85 1.97 1.90 3/87 3393
/proc/meminfo: memFree=1305560/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=1.3
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15693 0 1 0 120 10 0 0 25 0 8 0 278953627 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15431 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915436
[startup+2.97738 s]
/proc/loadavg: 1.86 1.97 1.90 3/87 3393
/proc/meminfo: memFree=1305560/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2.92
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15697 0 1 0 272 20 0 0 25 0 8 0 278953627 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600899 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15434 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915436
[startup+6.27693 s]
/proc/loadavg: 1.86 1.97 1.90 2/77 3404
/proc/meminfo: memFree=1331752/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=6.19
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15697 0 1 0 576 43 0 0 25 0 8 0 278953627 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3385/statm: 228859 15434 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15434 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) 915436
[startup+12.755 s]
/proc/loadavg: 1.81 1.96 1.89 3/79 3516
/proc/meminfo: memFree=1317648/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=12.67
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15701 0 1 0 1177 90 0 0 25 0 8 0 278953627 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3385/statm: 228859 15438 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915436
[startup+25.6141 s]
/proc/loadavg: 1.84 1.96 1.89 3/87 3583
/proc/meminfo: memFree=1276760/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=25.43
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15701 0 1 0 2360 183 0 0 25 0 8 0 278953627 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15438 2480 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1536 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.09
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915436
[startup+51.2344 s]
/proc/loadavg: 1.89 1.96 1.90 3/87 3583
/proc/meminfo: memFree=1276376/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=50.81
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15872 0 1 0 4838 243 0 0 25 0 8 0 278953627 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15599 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.21
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15599 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915436
[startup+102.458 s]
/proc/loadavg: 1.95 1.96 1.90 3/87 3583
/proc/meminfo: memFree=1276184/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=101.56
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15876 0 1 0 9913 243 0 0 25 0 8 0 278953627 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15601 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) R 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915436
[startup+162.539 s]
/proc/loadavg: 2.05 1.99 1.91 3/87 3583
/proc/meminfo: memFree=1276120/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=161.1
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15876 0 1 0 15866 244 0 0 25 0 8 0 278953627 937406464 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2010.42
Current children cumulated vsize (KiB) 915436
[startup+2084.47 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2070.2
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 206773 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.2
Current children cumulated vsize (KiB) 915436
[startup+2144.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2129.95
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 212748 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.95
Current children cumulated vsize (KiB) 915436
[startup+2204.54 s]
/proc/loadavg: 2.07 2.02 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2189.7
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 218723 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.7
Current children cumulated vsize (KiB) 915436
[startup+2264.59 s]
/proc/loadavg: 2.02 2.01 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2249.47
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 224700 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.47
Current children cumulated vsize (KiB) 915436
[startup+2324.63 s]
/proc/loadavg: 2.01 2.00 1.95 3/87 3585
/proc/meminfo: memFree=1275928/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2309.22
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 230675 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.22
Current children cumulated vsize (KiB) 915436
[startup+2384.69 s]
/proc/loadavg: 2.07 2.02 1.95 3/87 3585
/proc/meminfo: memFree=1275992/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2369
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 236653 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2415.85 s]
/proc/loadavg: 2.04 2.01 1.95 3/87 3585
/proc/meminfo: memFree=1275928/2055920 swapFree=4190672/4192956
[pid=3385] ppid=3383 vsize=915436 CPUtime=2400.01
/proc/3385/stat : 3385 (java) R 3383 3385 2900 0 -1 0 15879 0 1 0 239754 247 0 0 25 0 8 0 278953627 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3385/statm: 228859 15602 2535 14 0 215329 0
[pid=3385/tid=3387] ppid=3383 vsize=915436 CPUtime=0.05
/proc/3385/task/3387/stat : 3387 (java) S 3383 3385 2900 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3388] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3388/stat : 3388 (java) S 3383 3385 2900 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3389] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3389/stat : 3389 (java) S 3383 3385 2900 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278953631 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3390] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3390/stat : 3390 (java) S 3383 3385 2900 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3391] ppid=3383 vsize=915436 CPUtime=0.22
/proc/3385/task/3391/stat : 3391 (java) S 3383 3385 2900 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3392] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3392/stat : 3392 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3385/tid=3393] ppid=3383 vsize=915436 CPUtime=0
/proc/3385/task/3393/stat : 3393 (java) S 3383 3385 2900 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278953635 937406464 15602 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2415.91
CPU time (s): 2400.08
CPU user time (s): 2397.6
CPU system time (s): 2.48662
CPU usage (%): 99.3448
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.6
system time used= 2.48662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15899
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= 49888
involuntary context switches= 82968
runsolver used 2.32864 s user time and 7.11792 s system time
The end
 
Begin job on node43 on Sat Jan 20 15:05:45 UTC 2007
IDJOB= 280396
IDBENCH= 11089
IDSOLVER= 68
FILE ID= node43/280396-1169305544
PBS_JOBID= 3610139
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-280396-1169305544 -o ROOT/results/node43/solver-280396-1169305544 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280396-1169305544/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  545fe723477775d9ecb184b6880d6072
RANDOM SEED= 309415255
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.278
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.278
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:       1358192 kB
Buffers:         48944 kB
Cached:         528852 kB
SwapCached:        612 kB
Active:         165368 kB
Inactive:       457924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358192 kB
SwapTotal:     4192956 kB
SwapFree:      4190672 kB
Dirty:            2812 kB
Writeback:           0 kB
Mapped:          64304 kB
Slab:            59784 kB
Committed_AS:  6288524 kB
PageTables:       1860 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= 66560 MiB
End job on node43 on Sat Jan 20 15:46:01 UTC 2007