0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/252568-1168407947/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.52 nbVariables=3444 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.52 => wckTime=0.211 cpuTime=0.13 mem=7M861
0.52
0.52 predicates being loaded...
0.53
0.53 constraints being loaded...
2.66 nbConstraints=16464 nbConflictsStructures=3 nbSharedConflictsStructures=16419 nbUnbuiltConflictsStructures=1
2.66 nbSharedBinaryRepresentations=0 nbEvaluationManagers=4 nbSharedEvaluationManagers=16460 maxDegree=29
2.66 maxArity=28
2.66 => wckTime=2.352 cpuTime=2.0 mem=34M382
2.83
2.83 solver IterativeSystematicSolver being built...
3.49 => wckTime=3.176 cpuTime=2.49 mem=52M161
8.01
8.01 preprocessing
8.01 nbConstraintChecks=10327 nbValidityChecks=18778 nbPropagations=7423 nbRevisions=18772 nbUselessRevisions=18186
8.01 nbSingletonTests=3484 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=0 detectedInconsistency=no
8.01 => wckTime=4.516 cpuTime=4.43 mem=53M155
23.77
23.77 search
23.77 run=0 nbConstraintChecks=9440659 nbValidityChecks=2252 nbPropagations=7783 nbRevisions=20633
23.77 nbUselessRevisions=19781 nbAssignments=94 nbFailedAssignments=9 nbBacktracks=15 nbVisitedNodes=104
23.77 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
23.77 => wckTime=20.273 cpuTime=20.1 mem=53M155
26.14
26.14 search
26.14 run=1 nbConstraintChecks=10559791 nbValidityChecks=8602 nbPropagations=15922 nbRevisions=46784
26.14 nbUselessRevisions=44872 nbAssignments=258 nbFailedAssignments=11 nbBacktracks=40 nbVisitedNodes=271
26.14 nbRestartNogoods=1 mapSize=11 nbInferences=0 nbTooLargeKeys=0
26.14 => wckTime=22.644 cpuTime=22.46 mem=54M150
28.65
28.65 search
28.65 run=2 nbConstraintChecks=11633318 nbValidityChecks=21766 nbPropagations=25027 nbRevisions=84076
28.65 nbUselessRevisions=80538 nbAssignments=679 nbFailedAssignments=15 nbBacktracks=62 nbVisitedNodes=699
28.65 nbRestartNogoods=2 mapSize=17 nbInferences=0 nbTooLargeKeys=0
28.65 => wckTime=25.158 cpuTime=24.96 mem=54M150
32.26
32.26 search
32.26 run=3 nbConstraintChecks=12865388 nbValidityChecks=96720 nbPropagations=38539 nbRevisions=187764
32.26 nbUselessRevisions=179022 nbAssignments=1807 nbFailedAssignments=34 nbBacktracks=106 nbVisitedNodes=1868
32.26 nbRestartNogoods=3 mapSize=41 nbInferences=0 nbTooLargeKeys=0
32.26 => wckTime=28.764 cpuTime=28.53 mem=57M133
42.67
42.67 search
42.67 run=4 nbConstraintChecks=16937474 nbValidityChecks=440654 nbPropagations=72995 nbRevisions=569639
42.67 nbUselessRevisions=543054 nbAssignments=10327 nbFailedAssignments=45 nbBacktracks=162 nbVisitedNodes=2793
42.67 nbRestartNogoods=20 mapSize=53 nbInferences=0 nbTooLargeKeys=0
42.67 => wckTime=39.179 cpuTime=38.89 mem=59M121
66.44
66.44 search
66.44 run=5 nbConstraintChecks=30307792 nbValidityChecks=624514 nbPropagations=118141 nbRevisions=1097456
66.44 nbUselessRevisions=1046633 nbAssignments=14643 nbFailedAssignments=67 nbBacktracks=238 nbVisitedNodes=3144
66.44 nbRestartNogoods=27 mapSize=74 nbInferences=0 nbTooLargeKeys=0
66.44 => wckTime=62.951 cpuTime=62.54 mem=60M116
70.94
70.94 search
70.94 run=6 nbConstraintChecks=32046518 nbValidityChecks=698808 nbPropagations=167171 nbRevisions=1686400
70.94 nbUselessRevisions=1608399 nbAssignments=15814 nbFailedAssignments=84 nbBacktracks=388 nbVisitedNodes=4344
70.94 nbRestartNogoods=29 mapSize=94 nbInferences=0 nbTooLargeKeys=0
70.94 => wckTime=67.447 cpuTime=67.02 mem=63M99
77.25
77.25 search
77.25 run=7 nbConstraintChecks=33577910 nbValidityChecks=1173714 nbPropagations=240370 nbRevisions=2677713
77.25 nbUselessRevisions=2556664 nbAssignments=24538 nbFailedAssignments=111 nbBacktracks=561 nbVisitedNodes=5617
77.25 nbRestartNogoods=38 mapSize=133 nbInferences=0 nbTooLargeKeys=0
77.25 => wckTime=73.759 cpuTime=73.3 mem=67M76
90.18
90.18 search
90.18 run=8 nbConstraintChecks=37787649 nbValidityChecks=1783851 nbPropagations=345131 nbRevisions=4192325
90.18 nbUselessRevisions=4007863 nbAssignments=36216 nbFailedAssignments=142 nbBacktracks=897 nbVisitedNodes=7072
90.18 nbRestartNogoods=49 mapSize=178 nbInferences=0 nbTooLargeKeys=0
90.18 => wckTime=86.683 cpuTime=86.17 mem=72M48
107.22
107.22 search
107.22 run=9 nbConstraintChecks=44278259 nbValidityChecks=2480746 nbPropagations=485160 nbRevisions=6301884
107.22 nbUselessRevisions=6031673 nbAssignments=49485 nbFailedAssignments=189 nbBacktracks=1281 nbVisitedNodes=8356
107.22 nbRestartNogoods=62 mapSize=269 nbInferences=0 nbTooLargeKeys=0
107.22 => wckTime=103.73 cpuTime=103.13 mem=75M31
109.36
109.36 search
109.36 run=10 nbConstraintChecks=44387743 nbValidityChecks=2624001 nbPropagations=633578 nbRevisions=8531297
109.36 nbUselessRevisions=8167487 nbAssignments=51907 nbFailedAssignments=243 nbBacktracks=1876 nbVisitedNodes=10141
109.36 nbRestartNogoods=66 mapSize=381 nbInferences=0 nbTooLargeKeys=0
109.36 => wckTime=105.867 cpuTime=105.24 mem=79M910
114.56
114.56 search
114.56 run=11 nbConstraintChecks=46058505 nbValidityChecks=2819218 nbPropagations=792969 nbRevisions=10925943
114.56 nbUselessRevisions=10459058 nbAssignments=54795 nbFailedAssignments=309 nbBacktracks=2752 nbVisitedNodes=12176
114.56 nbRestartNogoods=73 mapSize=527 nbInferences=0 nbTooLargeKeys=0
114.56 => wckTime=111.064 cpuTime=110.36 mem=45M389
143.40
143.40 search
143.40 run=12 nbConstraintChecks=60097690 nbValidityChecks=3111091 nbPropagations=968529 nbRevisions=13565726
143.40 nbUselessRevisions=12983196 nbAssignments=60234 nbFailedAssignments=407 nbBacktracks=4049 nbVisitedNodes=14585
143.40 nbRestartNogoods=87 mapSize=749 nbInferences=0 nbTooLargeKeys=0
143.40 => wckTime=139.904 cpuTime=139.06 mem=52M398
166.12
166.12 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=62M411)
166.71
166.71 search
166.71 run=13 nbConstraintChecks=71264278 nbValidityChecks=3442640 nbPropagations=1160802 nbRevisions=16491565
166.71 nbUselessRevisions=15778594 nbAssignments=64956 nbFailedAssignments=562 nbBacktracks=5996 nbVisitedNodes=18126
166.71 nbRestartNogoods=98
166.71 => wckTime=163.217 cpuTime=162.26 mem=62M411
187.47
187.47 search
187.47 run=14 nbConstraintChecks=79035815 nbValidityChecks=4183546 nbPropagations=1395980 nbRevisions=20094667
187.47 nbUselessRevisions=19217009 nbAssignments=77106 nbFailedAssignments=906 nbBacktracks=8915 nbVisitedNodes=23069
187.47 nbRestartNogoods=118
187.47 => wckTime=183.977 cpuTime=182.92 mem=62M411
248.12
248.12 search
248.12 run=15 nbConstraintChecks=107317248 nbValidityChecks=5146610 nbPropagations=1683744 nbRevisions=24565653
248.12 nbUselessRevisions=23477382 nbAssignments=90903 nbFailedAssignments=1257 nbBacktracks=13295
248.12 nbVisitedNodes=29559 nbRestartNogoods=140
248.12 => wckTime=244.628 cpuTime=243.28 mem=62M411
282.96
282.96 search
282.96 run=16 nbConstraintChecks=121895687 nbValidityChecks=6175565 nbPropagations=2021081 nbRevisions=29927362
282.96 nbUselessRevisions=28584883 nbAssignments=104653 nbFailedAssignments=1903 nbBacktracks=19879
282.96 nbVisitedNodes=39335 nbRestartNogoods=160
282.96 => wckTime=279.465 cpuTime=277.94 mem=62M411
323.81
323.81 search
323.81 run=17 nbConstraintChecks=137038841 nbValidityChecks=7955015 nbPropagations=2450930 nbRevisions=36892608
323.81 nbUselessRevisions=35212272 nbAssignments=127508 nbFailedAssignments=2709 nbBacktracks=29739
323.81 nbVisitedNodes=52589 nbRestartNogoods=188
323.81 => wckTime=320.317 cpuTime=318.6 mem=62M411
346.73
346.73 search
346.73 run=18 nbConstraintChecks=141999608 nbValidityChecks=9746488 nbPropagations=2989668 nbRevisions=45475216
346.73 nbUselessRevisions=43352071 nbAssignments=149530 nbFailedAssignments=3795 nbBacktracks=44520
346.73 nbVisitedNodes=71941 nbRestartNogoods=200
346.73 => wckTime=343.236 cpuTime=341.41 mem=62M411
372.20
372.24 search
372.24 run=19 nbConstraintChecks=144202054 nbValidityChecks=12753843 nbPropagations=3659818 nbRevisions=56819760
372.24 nbUselessRevisions=54119892 nbAssignments=182762 nbFailedAssignments=5687 nbBacktracks=66690
372.24 nbVisitedNodes=102419 nbRestartNogoods=221
372.24 => wckTime=368.71 cpuTime=366.76 mem=62M411
413.96
413.96 search
413.96 run=20 nbConstraintChecks=148928983 nbValidityChecks=18502470 nbPropagations=4692056 nbRevisions=73520675
413.96 nbUselessRevisions=69847066 nbAssignments=224960 nbFailedAssignments=9614 nbBacktracks=99944
413.96 nbVisitedNodes=149840 nbRestartNogoods=249
413.96 => wckTime=410.464 cpuTime=408.32 mem=63M413
482.56
482.56 search
482.56 run=21 nbConstraintChecks=159662274 nbValidityChecks=27287649 nbPropagations=6233708 nbRevisions=98387804
482.56 nbUselessRevisions=93183588 nbAssignments=289037 nbFailedAssignments=14517 nbBacktracks=149846
482.56 nbVisitedNodes=217355 nbRestartNogoods=274
482.56 => wckTime=479.071 cpuTime=476.59 mem=63M413
557.74
557.74 search
557.74 run=22 nbConstraintChecks=164847237 nbValidityChecks=36583675 nbPropagations=8286457 nbRevisions=132026836
557.74 nbUselessRevisions=124741561 nbAssignments=377700 nbFailedAssignments=20964 nbBacktracks=224664
557.74 nbVisitedNodes=315316 nbRestartNogoods=293
557.74 => wckTime=554.248 cpuTime=551.41 mem=63M413
688.62
688.62 search
688.62 run=23 nbConstraintChecks=181336399 nbValidityChecks=50324753 nbPropagations=11092914 nbRevisions=178589246
688.62 nbUselessRevisions=168448133 nbAssignments=507984 nbFailedAssignments=28217 nbBacktracks=336912
688.62 nbVisitedNodes=452924 nbRestartNogoods=328
688.62 => wckTime=685.123 cpuTime=681.65 mem=63M413
839.54
839.54 search
839.54 run=24 nbConstraintChecks=190722337 nbValidityChecks=65241035 nbPropagations=14696239 nbRevisions=240162888
839.54 nbUselessRevisions=226371413 nbAssignments=689423 nbFailedAssignments=38693 nbBacktracks=505267
839.54 nbVisitedNodes=657579 nbRestartNogoods=346
839.54 => wckTime=836.05 cpuTime=832.19 mem=63M413
1097.80
1097.80 search
1097.80 run=25 nbConstraintChecks=216403192 nbValidityChecks=97602976 nbPropagations=20436638 nbRevisions=335057983
1097.80 nbUselessRevisions=315408441 nbAssignments=967837 nbFailedAssignments=56722 nbBacktracks=757811
1097.80 nbVisitedNodes=971914 nbRestartNogoods=377
1097.80 => wckTime=1094.311 cpuTime=1090.15 mem=63M413
1495.71
1495.71 search
1495.71 run=26 nbConstraintChecks=251942184 nbValidityChecks=147485243 nbPropagations=29498090 nbRevisions=479163247
1495.71 nbUselessRevisions=449903322 nbAssignments=1401734 nbFailedAssignments=106885 nbBacktracks=1136586
1495.71 nbVisitedNodes=1527220 nbRestartNogoods=410
1495.71 => wckTime=1492.215 cpuTime=1487.9 mem=63M413
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-252568-1168407947 -o ROOT/results/node33/solver-252568-1168407947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252568-1168407947/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.04 1.28 1.09 4/74 1413
/proc/meminfo: memFree=1580848/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=1784 CPUtime=0
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 189188577 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/1412/statm: 446 140 106 14 0 91 0
[startup+0.105858 s]
/proc/loadavg: 2.04 1.28 1.09 4/74 1413
/proc/meminfo: memFree=1580848/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=914988 CPUtime=0.08
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 3001 0 1 0 8 0 0 0 17 0 8 0 189188577 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10908805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228747 2747 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515943 s]
/proc/loadavg: 2.04 1.28 1.09 4/74 1413
/proc/meminfo: memFree=1580848/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915328 CPUtime=0.5
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 6239 0 1 0 46 4 0 0 17 0 8 0 189188577 937295872 5978 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073541571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228832 5978 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33712 s]
/proc/loadavg: 2.04 1.28 1.09 3/81 1420
/proc/meminfo: memFree=1517752/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915620 CPUtime=1.31
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 17840 0 1 0 119 12 0 0 23 0 8 0 189188577 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228905 17578 2179 14 0 215375 0
[pid=1412/tid=1414] ppid=1410 vsize=915620 CPUtime=0.05
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 1244 0 0 0 5 0 0 0 17 0 8 0 189188581 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915620 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915620 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915620 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915620 CPUtime=0.16
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 189188585 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915620 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915620 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937594880 17578 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915620
[startup+2.97646 s]
/proc/loadavg: 2.04 1.28 1.09 3/81 1420
/proc/meminfo: memFree=1503160/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915728 CPUtime=2.94
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 25727 0 1 0 212 82 0 0 25 0 8 0 189188577 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228932 25443 2502 14 0 215402 0
[pid=1412/tid=1414] ppid=1410 vsize=915728 CPUtime=0.32
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 8723 0 0 0 29 3 0 0 17 0 8 0 189188581 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915728 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915728 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915728 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915728 CPUtime=0.23
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 442 0 0 0 22 1 0 0 16 0 8 0 189188585 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915728 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915728 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937705472 25443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915728
[startup+6.18011 s]
/proc/loadavg: 2.11 1.31 1.10 3/81 1420
/proc/meminfo: memFree=1478840/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=6.14
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 26679 0 1 0 530 84 0 0 25 0 8 0 189188577 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 26391 2546 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.39
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 9512 0 0 0 36 3 0 0 17 0 8 0 189188581 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.34
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 510 0 0 0 32 2 0 0 16 0 8 0 189188585 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 26391 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915884
[startup+12.6584 s]
/proc/loadavg: 2.10 1.32 1.11 3/81 1420
/proc/meminfo: memFree=1478792/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=12.58
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 26701 0 1 0 1174 84 0 0 25 0 8 0 189188577 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074135294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 26410 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.39
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 9512 0 0 0 36 3 0 0 16 0 8 0 189188581 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.36
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 524 0 0 0 34 2 0 0 16 0 8 0 189188585 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 26410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915884
[startup+25.5171 s]
/proc/loadavg: 2.08 1.35 1.12 3/81 1420
/proc/meminfo: memFree=1472392/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=25.38
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 26702 0 1 0 2454 84 0 0 25 0 8 0 189188577 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 26411 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.39
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 9512 0 0 0 36 3 0 0 16 0 8 0 189188581 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.36
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 525 0 0 0 34 2 0 0 16 0 8 0 189188585 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 26411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915884
[startup+51.1354 s]
/proc/loadavg: 2.05 1.40 1.14 3/81 1420
/proc/meminfo: memFree=1467464/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=50.87
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 26720 0 1 0 5003 84 0 0 25 0 8 0 189188577 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 26424 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.39
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 9512 0 0 0 36 3 0 0 16 0 8 0 189188581 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.39
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 189188585 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 26424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915884
[startup+102.35 s]
/proc/loadavg: 2.02 1.49 1.18 3/81 1420
/proc/meminfo: memFree=1456520/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=101.84
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 26721 0 1 0 10100 84 0 0 25 0 8 0 189188577 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074199862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 26425 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.39
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 9512 0 0 0 36 3 0 0 16 0 8 0 189188581 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.4
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 540 0 0 0 38 2 0 0 16 0 8 0 189188585 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 26425 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 26425 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) 915884
[startup+162.413 s]
/proc/loadavg: 2.06 1.60 1.24 3/81 1420
/proc/meminfo: memFree=1444040/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=161.61
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28157 0 1 0 16076 85 0 0 25 0 8 0 189188577 937865216 27857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.43
Current children cumulated vsize (KiB) 915884
[startup+1483.67 s]
/proc/loadavg: 2.04 2.04 1.82 5/81 1618
/proc/meminfo: memFree=1386504/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1479.49
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 147863 86 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.49
Current children cumulated vsize (KiB) 915884
[startup+1543.75 s]
/proc/loadavg: 2.01 2.03 1.82 3/81 1618
/proc/meminfo: memFree=1375304/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1539.55
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 153869 86 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074175139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.55
Current children cumulated vsize (KiB) 915884
[startup+1603.84 s]
/proc/loadavg: 2.00 2.02 1.83 3/81 1618
/proc/meminfo: memFree=1370504/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1599.61
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 159875 86 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074129072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.61
Current children cumulated vsize (KiB) 915884
[startup+1663.84 s]
/proc/loadavg: 2.00 2.02 1.84 3/81 1618
/proc/meminfo: memFree=1370504/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1659.59
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 165873 86 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074199870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.59
Current children cumulated vsize (KiB) 915884
[startup+1723.93 s]
/proc/loadavg: 2.00 2.01 1.84 3/81 1618
/proc/meminfo: memFree=1348232/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1719.66
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 171880 86 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074136643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.66
Current children cumulated vsize (KiB) 915884
[startup+1784 s]
/proc/loadavg: 1.78 1.96 1.83 2/75 1681
/proc/meminfo: memFree=1502512/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1779.67
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 177879 88 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074212296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.67
Current children cumulated vsize (KiB) 915884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.45 s]
/proc/loadavg: 1.56 1.89 1.81 2/75 1768
/proc/meminfo: memFree=1502504/2055920 swapFree=4192224/4192956
[pid=1412] ppid=1410 vsize=915884 CPUtime=1800.08
/proc/1412/stat : 1412 (java) R 1410 1412 1225 0 -1 0 28160 0 1 0 179920 88 0 0 25 0 8 0 189188577 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074129075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1412/statm: 228971 27858 2548 14 0 215441 0
[pid=1412/tid=1414] ppid=1410 vsize=915884 CPUtime=0.45
/proc/1412/task/1414/stat : 1414 (java) S 1410 1412 1225 0 -1 64 10939 0 0 0 41 4 0 0 16 0 8 0 189188581 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1415] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1415/stat : 1415 (java) S 1410 1412 1225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1416] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1416/stat : 1416 (java) S 1410 1412 1225 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189188582 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1417] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1417/stat : 1417 (java) S 1410 1412 1225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1418] ppid=1410 vsize=915884 CPUtime=0.41
/proc/1412/task/1418/stat : 1418 (java) S 1410 1412 1225 0 -1 64 547 0 0 0 39 2 0 0 17 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1419] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1419/stat : 1419 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1412/tid=1420] ppid=1410 vsize=915884 CPUtime=0
/proc/1412/task/1420/stat : 1420 (java) S 1410 1412 1225 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 189188585 937865216 27858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.52
CPU time (s): 1800.15
CPU user time (s): 1799.25
CPU system time (s): 0.902862
CPU usage (%): 99.7578
Max. virtual memory (cumulated for all children) (KiB): 915948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.902862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28177
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= 38100
involuntary context switches= 49564
runsolver used 2.30865 s user time and 5.62115 s system time
The end
Begin job on node33 on Wed Jan 10 05:45:47 UTC 2007
IDJOB= 252568
IDBENCH= 12954
FILE ID= node33/252568-1168407947
PBS_JOBID= 3523370
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-4-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252568-1168407947/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-252568-1168407947 -o ROOT/results/node33/solver-252568-1168407947 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252568-1168407947/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cf9302b9fa097f674728737a407cbc53
RANDOM SEED= 652570861
TIME LIMIT= 1800 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.281
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.281
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: 1581264 kB
Buffers: 56324 kB
Cached: 324912 kB
SwapCached: 448 kB
Active: 183608 kB
Inactive: 236244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581264 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 5040 kB
Writeback: 0 kB
Mapped: 49140 kB
Slab: 40228 kB
Committed_AS: 3677312 kB
PageTables: 1816 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 node33 on Wed Jan 10 06:15:52 UTC 2007