0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/275200-1169218480/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=23  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.39	       =>  wckTime=0.093  cpuTime=0.07  mem=6M887
0.39	   
0.39	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.58	     nbConstraints=253  nbRelationTypes=253  nbExtensionStructures=253  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=253  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=860  maxDegree=22
0.58	     maxArity=2
0.58	       =>  wckTime=0.287  cpuTime=0.2  mem=12M738
0.62	   
0.62	   solver LocalSearchSolver being built... 
0.66	       =>  wckTime=0.372  cpuTime=0.25  mem=5M987
0.67	
0.67	s SATISFIABLE
0.67	o 201
0.67	c 52
0.67	o 207
0.67	c 46
0.67	o 215
0.67	c 38
0.67	o 220
0.67	c 33
0.67	o 224
0.67	c 29
0.67	o 228
0.67	c 25
0.68	o 229
0.68	c 24
0.68	o 231
0.68	c 22
0.68	o 232
0.68	c 21
0.68	o 236
0.68	c 17
0.68	o 237
0.68	c 16
0.68	o 238
0.68	c 15
0.68	o 240
0.68	c 13
0.68	o 241
0.68	c 12
0.68	o 243
0.68	c 10
0.69	o 244
0.69	c 9
0.69	o 245
0.69	c 8
0.69	o 246
0.69	c 7
0.69	o 248
0.69	c 5
0.77	o 249
0.77	c 4
0.77	o 250
0.77	c 3
0.77	o 251
0.77	c 2
2.88	o 252
2.88	c 1
2.88	   
2.88	   search
2.88	     run=0  nbConstraintChecks=17025374  nbAssignments=8077
2.88	       =>  wckTime=2.222  cpuTime=2.18  mem=5M987
2.89	   
2.89	   global
2.89	     nbConstraintChecks=17025374  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2.89	     solvingWckTime=2.219  solvingCpuTime=2.18  expiredTime=no  totalExploration=no  nbFoundSolutions=0
2.89	     globalCpuTime=2.48
2.89	       =>  wckTime=2.593  cpuTime=2.43  mem=5M987
2.89	   
2.89	   solver IterativeSystematicSolver being built... 
3.01	       =>  wckTime=2.715  cpuTime=2.54  mem=16M911
3.07	   
3.07	   preprocessing
3.07	     nbConstraintChecks=71108  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.07	     detectedInconsistency=no
3.07	       =>  wckTime=0.057  cpuTime=0.04  mem=16M911
3.11	   
3.11	   search
3.11	     run=0  nbConstraintChecks=137353  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41
3.11	     nbFailedAssignments=26  nbBacktracks=10  nbVisitedNodes=77  nbRestartNogoods=0
3.11	       =>  wckTime=0.097  cpuTime=0.07  mem=16M911
3.16	   
3.16	   search
3.16	     run=1  nbConstraintChecks=352122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=100
3.16	     nbFailedAssignments=65  nbBacktracks=25  nbVisitedNodes=189  nbRestartNogoods=11
3.16	       =>  wckTime=0.152  cpuTime=0.12  mem=16M911
3.21	   
3.21	   search
3.21	     run=2  nbConstraintChecks=602064  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=171
3.21	     nbFailedAssignments=109  nbBacktracks=47  nbVisitedNodes=326  nbRestartNogoods=21
3.21	       =>  wckTime=0.202  cpuTime=0.17  mem=16M911
3.30	   
3.30	   search
3.30	     run=3  nbConstraintChecks=1051068  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=294
3.30	     nbFailedAssignments=195  nbBacktracks=80  nbVisitedNodes=568  nbRestartNogoods=37
3.30	       =>  wckTime=0.294  cpuTime=0.25  mem=16M911
3.42	   
3.42	   search
3.42	     run=4  nbConstraintChecks=1680741  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=459
3.42	     nbFailedAssignments=305  nbBacktracks=130  nbVisitedNodes=892  nbRestartNogoods=47
3.42	       =>  wckTime=0.414  cpuTime=0.37  mem=16M911
3.60	   
3.60	   search
3.60	     run=5  nbConstraintChecks=2629739  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=707
3.60	     nbFailedAssignments=473  nbBacktracks=205  nbVisitedNodes=1383  nbRestartNogoods=54
3.60	       =>  wckTime=0.588  cpuTime=0.54  mem=16M911
3.86	   
3.86	   search
3.86	     run=6  nbConstraintChecks=3993784  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1081
3.86	     nbFailedAssignments=729  nbBacktracks=318  nbVisitedNodes=2122  nbRestartNogoods=63
3.86	       =>  wckTime=0.848  cpuTime=0.8  mem=16M911
4.25	   
4.25	   search
4.25	     run=7  nbConstraintChecks=6037428  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1674
4.25	     nbFailedAssignments=1148  nbBacktracks=488  nbVisitedNodes=3299  nbRestartNogoods=72
4.25	       =>  wckTime=1.242  cpuTime=1.17  mem=16M911
4.83	   
4.83	   search
4.83	     run=8  nbConstraintChecks=9291311  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2516
4.83	     nbFailedAssignments=1730  nbBacktracks=744  nbVisitedNodes=4972  nbRestartNogoods=103
4.83	       =>  wckTime=1.821  cpuTime=1.74  mem=16M911
5.65	   
5.65	   search
5.65	     run=9  nbConstraintChecks=13924523  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3792
5.65	     nbFailedAssignments=2617  nbBacktracks=1128  nbVisitedNodes=7508  nbRestartNogoods=129
5.65	       =>  wckTime=2.642  cpuTime=2.55  mem=16M911
6.96	   
6.96	   search
6.96	     run=10  nbConstraintChecks=21152134  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5750
6.96	     nbFailedAssignments=3994  nbBacktracks=1704  nbVisitedNodes=11400  nbRestartNogoods=142
6.96	       =>  wckTime=3.956  cpuTime=3.85  mem=16M911
8.70	   
8.71	   search
8.71	     run=11  nbConstraintChecks=31029980  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8385
8.71	     nbFailedAssignments=5761  nbBacktracks=2568  nbVisitedNodes=16627  nbRestartNogoods=170
8.71	       =>  wckTime=5.696  cpuTime=5.58  mem=16M911
11.23	   
11.23	   search
11.23	     run=12  nbConstraintChecks=45300070  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12052
11.23	     nbFailedAssignments=8127  nbBacktracks=3866  nbVisitedNodes=23807  nbRestartNogoods=184
11.23	       =>  wckTime=8.221  cpuTime=8.09  mem=16M911
14.58	   
14.58	   search
14.58	     run=13  nbConstraintChecks=64322996  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16707
14.58	     nbFailedAssignments=10831  nbBacktracks=5812  nbVisitedNodes=32447  nbRestartNogoods=208
14.58	       =>  wckTime=11.576  cpuTime=11.43  mem=16M911
19.33	   
19.33	   search
19.33	     run=14  nbConstraintChecks=91005524  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=23340
19.33	     nbFailedAssignments=14541  nbBacktracks=8731  nbVisitedNodes=44393  nbRestartNogoods=230
19.33	       =>  wckTime=16.32  cpuTime=16.13  mem=16M911
25.98	   
25.98	   search
25.98	     run=15  nbConstraintChecks=128608834  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32772
25.98	     nbFailedAssignments=19592  nbBacktracks=13109  nbVisitedNodes=60848  nbRestartNogoods=250
25.98	       =>  wckTime=22.969  cpuTime=22.76  mem=16M911
35.41	   
35.41	   search
35.41	     run=16  nbConstraintChecks=181999800  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46461
35.41	     nbFailedAssignments=26710  nbBacktracks=19677  nbVisitedNodes=84474  nbRestartNogoods=291
35.41	       =>  wckTime=32.405  cpuTime=32.14  mem=16M911
50.58	   
50.58	   search
50.58	     run=17  nbConstraintChecks=268518559  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=67644
50.58	     nbFailedAssignments=38039  nbBacktracks=29529  nbVisitedNodes=121248  nbRestartNogoods=324
50.58	       =>  wckTime=47.572  cpuTime=47.24  mem=16M911
73.58	   
73.58	   search
73.58	     run=18  nbConstraintChecks=399288318  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=99460
73.58	     nbFailedAssignments=55074  nbBacktracks=44307  nbVisitedNodes=176711  nbRestartNogoods=333
73.58	       =>  wckTime=70.571  cpuTime=70.09  mem=16M911
106.95	   
106.95	   search
106.95	     run=19  nbConstraintChecks=589135009  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=146278
106.95	     nbFailedAssignments=79720  nbBacktracks=66475  nbVisitedNodes=257033  nbRestartNogoods=377
106.95	       =>  wckTime=103.937  cpuTime=103.28  mem=16M911
157.04	   
157.04	   search
157.04	     run=20  nbConstraintChecks=874015417  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=215911
157.04	     nbFailedAssignments=116098  nbBacktracks=99727  nbVisitedNodes=376890  nbRestartNogoods=399
157.04	       =>  wckTime=154.029  cpuTime=153.11  mem=16M911
230.45	   
230.45	   search
230.45	     run=21  nbConstraintChecks=1291780210  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=317998
230.45	     nbFailedAssignments=168303  nbBacktracks=149606  nbVisitedNodes=550843  nbRestartNogoods=447
230.45	       =>  wckTime=227.44  cpuTime=226.14  mem=16M911
338.95	   
338.95	   search
338.95	     run=22  nbConstraintChecks=1904781734  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=469307
338.95	     nbFailedAssignments=244792  nbBacktracks=224424  nbVisitedNodes=807821  nbRestartNogoods=502
338.95	       =>  wckTime=335.939  cpuTime=334.05  mem=16M911
502.75	   
502.75	   search
502.75	     run=23  nbConstraintChecks=2830331460  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=695607
502.75	     nbFailedAssignments=358861  nbBacktracks=336651  nbVisitedNodes=1191723  nbRestartNogoods=579
502.75	       =>  wckTime=499.742  cpuTime=496.86  mem=16M911
752.59	   
752.59	   search
752.59	     run=24  nbConstraintChecks=4251779550  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1041248
752.59	     nbFailedAssignments=536156  nbBacktracks=504992  nbVisitedNodes=1782127  nbRestartNogoods=595
752.59	       =>  wckTime=749.586  cpuTime=745.4  mem=16M911
1124.14	   
1124.14	   search
1124.14	     run=25  nbConstraintChecks=6358515491  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1553676
1124.14	     nbFailedAssignments=796068  nbBacktracks=757504  nbVisitedNodes=2652767  nbRestartNogoods=626
1124.14	       =>  wckTime=1121.136  cpuTime=1115.0  mem=16M911
1676.22	   
1676.22	   search
1676.22	     run=26  nbConstraintChecks=9490103374  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2322439
1676.22	     nbFailedAssignments=1186059  nbBacktracks=1136272  nbVisitedNodes=3961122  nbRestartNogoods=642
1676.22	       =>  wckTime=1673.209  cpuTime=1664.14  mem=16M911
2412.91	v 8 15 6 8 20 15 19 12 19 12 14 15 22 21 5 8 1 12 1 9 0 18 12 
 
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-275200-1169218480 -o ROOT/results/node23/solver-275200-1169218480 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275200-1169218480/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: 2.00 2.04 2.00 3/94 3144
/proc/meminfo: memFree=1385928/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=18540 CPUtime=0
/proc/3143/stat : 3143 (runsolver) R 3141 3143 2848 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270242438 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3143/statm: 4635 279 244 17 0 2626 0
[startup+0.102435 s]
/proc/loadavg: 2.00 2.04 2.00 3/94 3144
/proc/meminfo: memFree=1385928/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=914988 CPUtime=0.08
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 3040 0 1 0 7 1 0 0 25 0 8 0 270242438 936947712 2786 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155583356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228747 2786 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510513 s]
/proc/loadavg: 2.00 2.04 2.00 3/94 3144
/proc/meminfo: memFree=1385928/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915332 CPUtime=0.49
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 6954 0 1 0 44 5 0 0 25 0 8 0 270242438 937299968 6693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228833 6693 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33667 s]
/proc/loadavg: 2.00 2.04 2.00 3/101 3151
/proc/meminfo: memFree=1363664/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915468 CPUtime=1.31
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 8221 0 1 0 117 14 0 0 25 0 8 0 270242438 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228867 7959 2479 14 0 215337 0
[pid=3143/tid=3145] ppid=3141 vsize=915468 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270242442 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915468 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915468 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915468 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915468 CPUtime=0.13
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 270242446 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915468 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915468 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937439232 7959 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915468
[startup+2.97499 s]
/proc/loadavg: 2.00 2.04 2.00 3/101 3151
/proc/meminfo: memFree=1363600/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2.94
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 8312 0 1 0 260 34 0 0 25 0 8 0 270242438 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8049 2508 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 275 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.15
/proc/3143/task/3149/stat : 3149 (java) R 3141 3143 2848 0 -1 64 357 0 0 0 15 0 0 0 16 0 8 0 270242446 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153623428 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8049 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27162 s]
/proc/loadavg: 2.00 2.04 2.00 3/101 3151
/proc/meminfo: memFree=1360208/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=6.2
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9156 0 1 0 584 36 0 0 25 0 8 0 270242438 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8890 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 17 0 8 0 270242442 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.22
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 270242446 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7459 s]
/proc/loadavg: 2.00 2.04 2.00 3/101 3151
/proc/meminfo: memFree=1360208/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=12.64
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9168 0 1 0 1228 36 0 0 25 0 8 0 270242438 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8900 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915464
[startup+25.5914 s]
/proc/loadavg: 2.00 2.04 2.00 3/101 3151
/proc/meminfo: memFree=1360272/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=25.41
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9173 0 1 0 2505 36 0 0 25 0 8 0 270242438 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8905 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915464
[startup+51.2923 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 3151
/proc/meminfo: memFree=1360336/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=50.97
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9183 0 1 0 5061 36 0 0 25 0 8 0 270242438 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8913 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915464
[startup+102.587 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 3151
/proc/meminfo: memFree=1360400/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=101.99
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9185 0 1 0 10163 36 0 0 25 0 8 0 270242438 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8915 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915464
[startup+162.611 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 3151
/proc/meminfo: memFree=1360400/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=161.71
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9191 0 1 0 16134 37 0 0 25 0 8 0 270242438 937435136 8921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2012.79
Current children cumulated vsize (KiB) 915464
[startup+2083.65 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 3351
/proc/meminfo: memFree=1360016/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2072.5
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 207198 52 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.5
Current children cumulated vsize (KiB) 915464
[startup+2143.67 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3351
/proc/meminfo: memFree=1360080/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2132.21
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 213169 52 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.21
Current children cumulated vsize (KiB) 915464
[startup+2203.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/101 3351
/proc/meminfo: memFree=1360016/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2191.93
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 219141 52 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.93
Current children cumulated vsize (KiB) 915464
[startup+2263.73 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 3351
/proc/meminfo: memFree=1360016/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2251.64
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 225112 52 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.64
Current children cumulated vsize (KiB) 915464
[startup+2323.77 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 3351
/proc/meminfo: memFree=1360016/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2311.37
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 231084 53 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.37
Current children cumulated vsize (KiB) 915464
[startup+2383.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 3351
/proc/meminfo: memFree=1360016/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2371.1
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 237057 53 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073897648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.1
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.9 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 3441
/proc/meminfo: memFree=1280904/2055920 swapFree=4156060/4192956
[pid=3143] ppid=3141 vsize=915464 CPUtime=2400.02
/proc/3143/stat : 3143 (java) R 3141 3143 2848 0 -1 0 9207 0 1 0 239945 57 0 0 25 0 8 0 270242438 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3143/statm: 228866 8936 2532 14 0 215336 0
[pid=3143/tid=3145] ppid=3141 vsize=915464 CPUtime=0.03
/proc/3143/task/3145/stat : 3145 (java) S 3141 3143 2848 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 270242442 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3146] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3146/stat : 3146 (java) S 3141 3143 2848 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3147] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3147/stat : 3147 (java) S 3141 3143 2848 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270242443 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3148] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3148/stat : 3148 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3149] ppid=3141 vsize=915464 CPUtime=0.23
/proc/3143/task/3149/stat : 3149 (java) S 3141 3143 2848 0 -1 64 403 0 0 0 22 1 0 0 16 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3150] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3150/stat : 3150 (java) S 3141 3143 2848 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3143/tid=3151] ppid=3141 vsize=915464 CPUtime=0
/proc/3143/task/3151/stat : 3151 (java) S 3141 3143 2848 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270242446 937435136 8936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.98
CPU time (s): 2400.11
CPU user time (s): 2399.52
CPU system time (s): 0.58591
CPU usage (%): 99.4665
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.52
system time used= 0.58591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9228
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= 49978
involuntary context switches= 118490
runsolver used 2.99254 s user time and 7.09892 s system time
The end
 
Begin job on node23 on Fri Jan 19 14:54:41 UTC 2007
IDJOB= 275200
IDBENCH= 3635
IDSOLVER= 68
FILE ID= node23/275200-1169218480
PBS_JOBID= 3589174
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-46021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275200-1169218480/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-275200-1169218480 -o ROOT/results/node23/solver-275200-1169218480 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275200-1169218480/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a641d5227836e99889f0b65812e13203
RANDOM SEED= 573398552
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.265
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.265
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:       1386408 kB
Buffers:         37484 kB
Cached:         522000 kB
SwapCached:       7840 kB
Active:         132184 kB
Inactive:       470312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1386408 kB
SwapTotal:     4192956 kB
SwapFree:      4156060 kB
Dirty:            2272 kB
Writeback:           0 kB
Mapped:          65504 kB
Slab:            51556 kB
Committed_AS:  4546088 kB
PageTables:       2388 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 node23 on Fri Jan 19 15:34:54 UTC 2007