0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=epfc.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/277219-1169260704/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.49 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.49 => wckTime=0.099 cpuTime=0.08 mem=6M887
0.49
0.49 relations being loaded...
0.61
0.61 constraints being loaded...
0.73 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.73 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=914 maxDegree=24
0.73 maxArity=2
0.73 => wckTime=0.332 cpuTime=0.23 mem=14M689
0.77
0.77 solver LocalSearchSolver being built...
0.82 => wckTime=0.421 cpuTime=0.28 mem=6M199
0.82
0.82 s SATISFIABLE
0.82 o 233
0.82 c 67
0.83 o 239
0.83 c 61
0.83 o 245
0.83 c 55
0.83 o 251
0.83 c 49
0.83 o 256
0.83 c 44
0.83 o 259
0.83 c 41
0.83 o 263
0.83 c 37
0.83 o 267
0.83 c 33
0.83 o 268
0.83 c 32
0.83 o 270
0.83 c 30
0.83 o 273
0.83 c 27
0.84 o 275
0.84 c 25
0.84 o 276
0.84 c 24
0.84 o 278
0.84 c 22
0.84 o 280
0.84 c 20
0.84 o 283
0.84 c 17
0.84 o 284
0.84 c 16
0.85 o 285
0.85 c 15
0.85 o 286
0.85 c 14
0.86 o 289
0.86 c 11
0.86 o 290
0.86 c 10
0.86 o 291
0.86 c 9
0.86 o 292
0.86 c 8
0.86 o 293
0.86 c 7
0.86 o 295
0.86 c 5
0.86 o 296
0.86 c 4
1.14 o 297
1.14 c 3
2.11 o 298
2.11 c 2
2.12 o 299
2.12 c 1
2.12
2.12 search
2.12 run=0 nbConstraintChecks=8900234 nbAssignments=3490
2.12 => wckTime=1.304 cpuTime=1.28 mem=6M199
2.12
2.12 global
2.12 nbConstraintChecks=8900234 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.12 solvingWckTime=1.301 solvingCpuTime=1.27 expiredTime=no totalExploration=no nbFoundSolutions=0
2.12 globalCpuTime=1.61
2.12 => wckTime=1.726 cpuTime=1.56 mem=6M199
2.12
2.12 solver IterativeSystematicSolver being built...
2.25 => wckTime=1.855 cpuTime=1.66 mem=17M140
2.33
2.33 preprocessing
2.33 nbConstraintChecks=97325 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.33 detectedInconsistency=no
2.33 => wckTime=0.08 cpuTime=0.05 mem=17M140
2.38
2.38 search
2.38 run=0 nbConstraintChecks=180075 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44
2.38 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=83 nbRestartNogoods=0
2.38 => wckTime=0.131 cpuTime=0.1 mem=17M140
2.45
2.45 search
2.45 run=1 nbConstraintChecks=421694 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104
2.45 nbFailedAssignments=68 nbBacktracks=25 nbVisitedNodes=197 nbRestartNogoods=6
2.45 => wckTime=0.198 cpuTime=0.16 mem=17M140
2.52
2.52 search
2.52 run=2 nbConstraintChecks=748141 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=176
2.52 nbFailedAssignments=113 nbBacktracks=47 nbVisitedNodes=336 nbRestartNogoods=27
2.52 => wckTime=0.271 cpuTime=0.24 mem=17M140
2.62
2.62 search
2.62 run=3 nbConstraintChecks=1183488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=278
2.62 nbFailedAssignments=176 nbBacktracks=80 nbVisitedNodes=533 nbRestartNogoods=49
2.62 => wckTime=0.37 cpuTime=0.34 mem=17M140
2.76
2.76 search
2.76 run=4 nbConstraintChecks=1853983 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=443
2.76 nbFailedAssignments=286 nbBacktracks=130 nbVisitedNodes=857 nbRestartNogoods=63
2.76 => wckTime=0.512 cpuTime=0.48 mem=17M140
3.01
3.01 search
3.01 run=5 nbConstraintChecks=3035749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=705
3.01 nbFailedAssignments=468 nbBacktracks=205 nbVisitedNodes=1373 nbRestartNogoods=75
3.01 => wckTime=0.761 cpuTime=0.72 mem=17M140
3.34
3.34 search
3.34 run=6 nbConstraintChecks=4672904 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1069
3.34 nbFailedAssignments=714 nbBacktracks=318 nbVisitedNodes=2095 nbRestartNogoods=81
3.34 => wckTime=1.092 cpuTime=1.05 mem=17M140
3.93
3.93 search
3.93 run=7 nbConstraintChecks=7427494 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1726
3.93 nbFailedAssignments=1195 nbBacktracks=488 nbVisitedNodes=3396 nbRestartNogoods=98
3.93 => wckTime=1.675 cpuTime=1.61 mem=17M140
4.72
4.72 search
4.72 run=8 nbConstraintChecks=11453373 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2598
4.72 nbFailedAssignments=1806 nbBacktracks=744 nbVisitedNodes=5133 nbRestartNogoods=112
4.72 => wckTime=2.465 cpuTime=2.39 mem=17M140
5.77
5.77 search
5.77 run=9 nbConstraintChecks=16731190 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3818
5.77 nbFailedAssignments=2636 nbBacktracks=1128 nbVisitedNodes=7552 nbRestartNogoods=127
5.77 => wckTime=3.517 cpuTime=3.44 mem=17M140
7.28
7.28 search
7.28 run=10 nbConstraintChecks=24466624 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5483
7.28 nbFailedAssignments=3721 nbBacktracks=1704 nbVisitedNodes=10809 nbRestartNogoods=149
7.28 => wckTime=5.03 cpuTime=4.94 mem=17M140
9.44
9.44 search
9.44 run=11 nbConstraintChecks=35362988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7937
9.44 nbFailedAssignments=5305 nbBacktracks=2568 nbVisitedNodes=15579 nbRestartNogoods=186
9.44 => wckTime=7.189 cpuTime=7.09 mem=17M140
12.27
12.27 search
12.27 run=12 nbConstraintChecks=49875554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10994
12.27 nbFailedAssignments=7060 nbBacktracks=3865 nbVisitedNodes=21130 nbRestartNogoods=201
12.27 => wckTime=10.017 cpuTime=9.9 mem=17M140
16.10
16.10 search
16.10 run=13 nbConstraintChecks=69660636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15098
16.10 nbFailedAssignments=9213 nbBacktracks=5811 nbVisitedNodes=28318 nbRestartNogoods=220
16.10 => wckTime=13.851 cpuTime=13.71 mem=17M140
21.93
21.93 search
21.93 run=14 nbConstraintChecks=99351467 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21210
21.93 nbFailedAssignments=12401 nbBacktracks=8731 nbVisitedNodes=38783 nbRestartNogoods=233
21.93 => wckTime=19.676 cpuTime=19.51 mem=17M140
30.75
30.75 search
30.75 run=15 nbConstraintChecks=144731302 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30547
30.75 nbFailedAssignments=17356 nbBacktracks=13109 nbVisitedNodes=54987 nbRestartNogoods=254
30.75 => wckTime=28.499 cpuTime=28.29 mem=17M140
43.47
43.47 search
43.47 run=16 nbConstraintChecks=210523482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43840
43.47 nbFailedAssignments=24075 nbBacktracks=19677 nbVisitedNodes=77561 nbRestartNogoods=270
43.47 => wckTime=41.223 cpuTime=40.95 mem=17M140
63.14
63.15 search
63.15 run=17 nbConstraintChecks=310696683 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=64416
63.15 nbFailedAssignments=34795 nbBacktracks=29529 nbVisitedNodes=112742 nbRestartNogoods=282
63.15 => wckTime=60.894 cpuTime=60.53 mem=17M140
91.61
91.61 search
91.61 run=18 nbConstraintChecks=455300229 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=95251
91.61 nbFailedAssignments=50848 nbBacktracks=44307 nbVisitedNodes=165567 nbRestartNogoods=319
91.61 => wckTime=89.361 cpuTime=88.86 mem=17M140
134.52
134.52 search
134.52 run=19 nbConstraintChecks=676231013 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140562
134.52 nbFailedAssignments=73987 nbBacktracks=66475 nbVisitedNodes=242526 nbRestartNogoods=348
134.52 => wckTime=132.266 cpuTime=131.57 mem=17M140
197.88
197.88 search
197.88 run=20 nbConstraintChecks=1001377817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=208132
197.88 nbFailedAssignments=108301 nbBacktracks=99727 nbVisitedNodes=356944 nbRestartNogoods=381
197.88 => wckTime=195.63 cpuTime=194.64 mem=17M140
294.68
294.68 search
294.68 run=21 nbConstraintChecks=1499913935 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=310870
294.68 nbFailedAssignments=161157 nbBacktracks=149605 nbVisitedNodes=532675 nbRestartNogoods=416
294.68 => wckTime=292.426 cpuTime=290.97 mem=17M140
438.82
438.82 search
438.82 run=22 nbConstraintChecks=2238276966 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=464050
438.82 nbFailedAssignments=239514 nbBacktracks=224423 nbVisitedNodes=793184 nbRestartNogoods=454
438.82 => wckTime=436.569 cpuTime=434.43 mem=17M140
646.56
646.56 search
646.56 run=23 nbConstraintChecks=3299026197 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=688488
646.56 nbFailedAssignments=351720 nbBacktracks=336651 nbVisitedNodes=1171280 nbRestartNogoods=473
646.56 => wckTime=644.308 cpuTime=641.2 mem=17M140
969.22
969.22 search
969.22 run=24 nbConstraintChecks=4953920093 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1031131
969.22 nbFailedAssignments=526018 nbBacktracks=504992 nbVisitedNodes=1752384 nbRestartNogoods=493
969.22 => wckTime=966.967 cpuTime=962.34 mem=17M140
1448.43
1448.43 search
1448.43 run=25 nbConstraintChecks=7380286459 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1538275
1448.43 nbFailedAssignments=780647 nbBacktracks=757504 nbVisitedNodes=2607938 nbRestartNogoods=517
1448.43 => wckTime=1446.178 cpuTime=1435.02 mem=17M140
2124.30
2124.30 search
2124.30 run=26 nbConstraintChecks=11074337725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2124.30 nbAssignments=2298444 nbFailedAssignments=1162043 nbBacktracks=1136271 nbVisitedNodes=3890232
2124.30 nbRestartNogoods=550
2124.30 => wckTime=2122.051 cpuTime=2109.85 mem=17M140
2412.61 v 0 3 0 3 6 18 7 22 23 17 23 4 12 15 12 13 2 19 2 19 11 4 20 24 15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-277219-1169260704 -o ROOT/results/node7/solver-277219-1169260704 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277219-1169260704/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.97 2.00 1.83 4/87 18014
/proc/meminfo: memFree=1335952/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=18540 CPUtime=0
/proc/18013/stat : 18013 (runsolver) R 18011 18013 17578 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274465854 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18013/statm: 4635 279 244 17 0 2626 0
[startup+0.102862 s]
/proc/loadavg: 1.97 2.00 1.83 4/87 18014
/proc/meminfo: memFree=1335952/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=907808 CPUtime=0.06
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 2493 0 1 0 5 1 0 0 17 0 4 0 274465854 929595392 2240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155593360 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 226952 2240 1227 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.510903 s]
/proc/loadavg: 1.97 2.00 1.83 4/87 18014
/proc/meminfo: memFree=1335952/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915332 CPUtime=0.41
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 6149 0 1 0 37 4 0 0 18 0 8 0 274465854 937299968 5888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228833 5888 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332
[startup+1.33399 s]
/proc/loadavg: 1.97 2.00 1.83 3/94 18021
/proc/meminfo: memFree=1311960/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=1.23
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 8645 0 1 0 111 12 0 0 24 0 8 0 274465854 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8383 2479 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.15
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 344 0 0 0 15 0 0 0 16 0 8 0 274465865 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8383 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915464
[startup+2.98717 s]
/proc/loadavg: 1.97 2.00 1.83 3/94 18021
/proc/meminfo: memFree=1310488/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2.87
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9188 0 1 0 266 21 0 0 25 0 8 0 274465854 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073890917 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8924 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.22
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 386 0 0 0 21 1 0 0 16 0 8 0 274465865 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915464
[startup+6.2665 s]
/proc/loadavg: 1.97 2.00 1.83 3/94 18021
/proc/meminfo: memFree=1309848/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=6.13
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9216 0 1 0 592 21 0 0 25 0 8 0 274465854 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8949 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 17 0 8 0 274465861 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.25
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 274465865 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
[startup+12.7572 s]
/proc/loadavg: 1.97 2.00 1.83 3/94 18021
/proc/meminfo: memFree=1309784/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=12.59
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9225 0 1 0 1238 21 0 0 25 0 8 0 274465854 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831677 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8958 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.5975 s]
/proc/loadavg: 1.98 2.00 1.83 3/94 18021
/proc/meminfo: memFree=1309912/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=25.37
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9231 0 1 0 2516 21 0 0 25 0 8 0 274465854 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8964 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915464
[startup+51.2102 s]
/proc/loadavg: 1.98 2.00 1.83 3/94 18021
/proc/meminfo: memFree=1309912/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=50.86
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9236 0 1 0 5064 22 0 0 25 0 8 0 274465854 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8969 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915464
[startup+102.427 s]
/proc/loadavg: 1.99 2.00 1.84 3/94 18021
/proc/meminfo: memFree=1309912/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=101.84
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9242 0 1 0 10162 22 0 0 25 0 8 0 274465854 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18013/statm: 228866 8974 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 915464
[startup+162.49 s]
/proc/loadavg: 1.99 2.00 1.84 3/94 18021
/proc/meminfo: memFree=1309912/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=161.62
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9245 0 1 0 16139 23 0 0 25 0 8 0 274465854 937435136 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2012.37
Current children cumulated vsize (KiB) 915464
[startup+2084.57 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 18763
/proc/meminfo: memFree=1100968/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2072.35
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9262 0 1 0 207198 37 0 0 25 0 8 0 274465854 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073874616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8993 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.35
Current children cumulated vsize (KiB) 915464
[startup+2144.62 s]
/proc/loadavg: 2.00 2.01 1.96 3/100 18763
/proc/meminfo: memFree=1100968/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2132.34
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9265 0 1 0 213197 37 0 0 25 0 8 0 274465854 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073903142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8996 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.34
Current children cumulated vsize (KiB) 915464
[startup+2204.67 s]
/proc/loadavg: 2.20 2.06 1.98 3/100 18763
/proc/meminfo: memFree=1100968/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2192.34
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9265 0 1 0 219197 37 0 0 25 0 8 0 274465854 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8996 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.34
Current children cumulated vsize (KiB) 915464
[startup+2264.72 s]
/proc/loadavg: 2.07 2.04 1.98 3/100 18763
/proc/meminfo: memFree=1100904/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2252.33
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9265 0 1 0 225195 38 0 0 25 0 8 0 274465854 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8996 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252.33
Current children cumulated vsize (KiB) 915464
[startup+2324.78 s]
/proc/loadavg: 2.02 2.03 1.98 3/100 18763
/proc/meminfo: memFree=1100968/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2312.33
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9265 0 1 0 231195 38 0 0 25 0 8 0 274465854 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8996 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.33
Current children cumulated vsize (KiB) 915464
[startup+2384.83 s]
/proc/loadavg: 2.01 2.03 1.98 3/100 18763
/proc/meminfo: memFree=1100968/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2372.33
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9265 0 1 0 237195 38 0 0 25 0 8 0 274465854 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8996 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.33
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.6 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 18763
/proc/meminfo: memFree=1100904/2055920 swapFree=4192812/4192956
[pid=18013] ppid=18011 vsize=915464 CPUtime=2400.06
/proc/18013/stat : 18013 (java) R 18011 18013 17578 0 -1 0 9265 0 1 0 239968 38 0 0 25 0 8 0 274465854 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18013/statm: 228866 8996 2532 14 0 215336 0
[pid=18013/tid=18015] ppid=18011 vsize=915464 CPUtime=0.03
/proc/18013/task/18015/stat : 18015 (java) S 18011 18013 17578 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274465861 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18016] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 17578 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18017] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 17578 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274465862 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18018] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18019] ppid=18011 vsize=915464 CPUtime=0.26
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 17578 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18020] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 17578 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18013/tid=18021] ppid=18011 vsize=915464 CPUtime=0
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 17578 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274465865 937435136 8996 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.66
CPU time (s): 2400.11
CPU user time (s): 2399.73
CPU system time (s): 0.386941
CPU usage (%): 99.4801
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.386941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9287
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= 50004
involuntary context switches= 83744
runsolver used 3.3115 s user time and 7.38588 s system time
The end
Begin job on node7 on Sat Jan 20 02:38:24 UTC 2007
IDJOB= 277219
IDBENCH= 6501
IDSOLVER= 68
FILE ID= node7/277219-1169260704
PBS_JOBID= 3607284
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277219-1169260704/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-277219-1169260704 -o ROOT/results/node7/solver-277219-1169260704 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277219-1169260704/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 11bcdee15d3ba2466b3fd421b99abebd
RANDOM SEED= 830679018
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.220
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.220
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: 1336432 kB
Buffers: 53500 kB
Cached: 520352 kB
SwapCached: 0 kB
Active: 213412 kB
Inactive: 424480 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1336432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 85012 kB
Slab: 66360 kB
Committed_AS: 8145392 kB
PageTables: 2384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node7 on Sat Jan 20 03:18:37 UTC 2007