0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/206631-1168175861/unknown.xml
0.36
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
1.48
1.48 constraints being loaded...
2.18 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.18 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.18 => wckTime=1.874 cpuTime=1.5 mem=59M37
2.34
2.34 solver IterativeSystematicSolver being built...
2.51 => wckTime=2.205 cpuTime=1.63 mem=66M173
2.66
2.66 preprocessing
2.66 nbConstraintChecks=51279 nbValidityChecks=84952 nbPropagations=266 nbRevisions=3000 nbUselessRevisions=2599
2.66 nbSingletonTests=36 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.66 => wckTime=0.146 cpuTime=0.11 mem=66M173
2.75
2.75 search
2.75 run=0 nbConstraintChecks=37054 nbValidityChecks=88292 nbPropagations=770 nbRevisions=8438
2.75 nbUselessRevisions=6815 nbAssignments=42 nbFailedAssignments=22 nbBacktracks=14 nbVisitedNodes=75
2.75 nbRestartNogoods=0 mapSize=14 nbInferences=0 nbTooLargeKeys=0
2.75 => wckTime=0.236 cpuTime=0.21 mem=67M191
2.91
2.91 search
2.91 run=1 nbConstraintChecks=125241 nbValidityChecks=265964 nbPropagations=2317 nbRevisions=26872
2.91 nbUselessRevisions=21475 nbAssignments=99 nbFailedAssignments=55 nbBacktracks=29 nbVisitedNodes=178
2.91 nbRestartNogoods=1 mapSize=29 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.399 cpuTime=0.36 mem=67M191
3.06
3.06 search
3.06 run=2 nbConstraintChecks=206777 nbValidityChecks=436351 nbPropagations=4687 nbRevisions=55140
3.06 nbUselessRevisions=43490 nbAssignments=170 nbFailedAssignments=98 nbBacktracks=51 nbVisitedNodes=308
3.06 nbRestartNogoods=5 mapSize=48 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=0.547 cpuTime=0.5 mem=67M191
3.36
3.36 search
3.36 run=3 nbConstraintChecks=391889 nbValidityChecks=780186 nbPropagations=8459 nbRevisions=102858
3.36 nbUselessRevisions=80795 nbAssignments=275 nbFailedAssignments=159 nbBacktracks=86 nbVisitedNodes=501
3.36 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=0.854 cpuTime=0.81 mem=67M191
3.83
3.83 search
3.83 run=4 nbConstraintChecks=653906 nbValidityChecks=1389310 nbPropagations=14846 nbRevisions=183723
3.83 nbUselessRevisions=145339 nbAssignments=531 nbFailedAssignments=239 nbBacktracks=137 nbVisitedNodes=758
3.83 nbRestartNogoods=26 mapSize=129 nbInferences=0 nbTooLargeKeys=0
3.83 => wckTime=1.317 cpuTime=1.26 mem=67M191
4.24
4.24 search
4.24 run=5 nbConstraintChecks=884657 nbValidityChecks=1936508 nbPropagations=24291 nbRevisions=298646
4.24 nbUselessRevisions=235563 nbAssignments=769 nbFailedAssignments=394 nbBacktracks=213 nbVisitedNodes=1207
4.24 nbRestartNogoods=31 mapSize=198 nbInferences=0 nbTooLargeKeys=0
4.24 => wckTime=1.727 cpuTime=1.67 mem=67M191
4.89
4.89 search
4.89 run=6 nbConstraintChecks=1274632 nbValidityChecks=2775693 nbPropagations=38065 nbRevisions=472952
4.89 nbUselessRevisions=373565 nbAssignments=1130 nbFailedAssignments=618 nbBacktracks=326 nbVisitedNodes=1861
4.89 nbRestartNogoods=42 mapSize=302 nbInferences=0 nbTooLargeKeys=0
4.89 => wckTime=2.378 cpuTime=2.31 mem=67M191
5.83
5.83 search
5.83 run=7 nbConstraintChecks=1841718 nbValidityChecks=3920703 nbPropagations=57316 nbRevisions=717237
5.83 nbUselessRevisions=567557 nbAssignments=1548 nbFailedAssignments=822 nbBacktracks=498 nbVisitedNodes=2553
5.83 nbRestartNogoods=52 mapSize=442 nbInferences=0 nbTooLargeKeys=0
5.83 => wckTime=3.322 cpuTime=3.23 mem=67M191
7.37
7.37 search
7.37 run=8 nbConstraintChecks=2806236 nbValidityChecks=5908803 nbPropagations=85624 nbRevisions=1083691
7.37 nbUselessRevisions=858181 nbAssignments=2234 nbFailedAssignments=1245 nbBacktracks=754 nbVisitedNodes=3856
7.37 nbRestartNogoods=58 mapSize=682 nbInferences=0 nbTooLargeKeys=0
7.37 => wckTime=4.86 cpuTime=4.76 mem=67M191
9.34
9.34 search
9.34 run=9 nbConstraintChecks=4013195 nbValidityChecks=8551843 nbPropagations=128312 nbRevisions=1608592
9.34 nbUselessRevisions=1270485 nbAssignments=3251 nbFailedAssignments=1871 nbBacktracks=1138 nbVisitedNodes=5767
9.34 nbRestartNogoods=70 mapSize=1022 nbInferences=0 nbTooLargeKeys=0
9.34 => wckTime=6.833 cpuTime=6.71 mem=67M191
9.40
9.40 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=67M191)
12.18
12.18 search
12.18 run=10 nbConstraintChecks=5807958 nbValidityChecks=12238204 nbPropagations=189764 nbRevisions=2368609
12.18 nbUselessRevisions=1869785 nbAssignments=4543 nbFailedAssignments=2579 nbBacktracks=1715 nbVisitedNodes=8154
12.18 nbRestartNogoods=84
12.18 => wckTime=9.668 cpuTime=9.53 mem=67M191
16.49
16.50 search
16.50 run=11 nbConstraintChecks=8457698 nbValidityChecks=18111304 nbPropagations=283401 nbRevisions=3490972
16.50 nbUselessRevisions=2747479 nbAssignments=6913 nbFailedAssignments=4076 nbBacktracks=2579 nbVisitedNodes=12644
16.50 nbRestartNogoods=94
16.50 => wckTime=13.986 cpuTime=13.82 mem=67M191
23.54
23.54 search
23.54 run=12 nbConstraintChecks=12933818 nbValidityChecks=27322626 nbPropagations=420655 nbRevisions=5177644
23.54 nbUselessRevisions=4074741 nbAssignments=10034 nbFailedAssignments=5892 nbBacktracks=3876 nbVisitedNodes=18446
23.54 nbRestartNogoods=105
23.54 => wckTime=21.034 cpuTime=20.84 mem=67M191
30.18
30.18 search
30.18 run=13 nbConstraintChecks=17148020 nbValidityChecks=36144717 nbPropagations=610725 nbRevisions=7498267
30.18 nbUselessRevisions=5903100 nbAssignments=13897 nbFailedAssignments=7801 nbBacktracks=5822 nbVisitedNodes=25343
30.18 nbRestartNogoods=109
30.18 => wckTime=27.67 cpuTime=27.44 mem=67M191
50.17
50.17 search
50.17 run=14 nbConstraintChecks=29686002 nbValidityChecks=62132274 nbPropagations=920522 nbRevisions=11396332
50.17 nbUselessRevisions=8976945 nbAssignments=21869 nbFailedAssignments=12834 nbBacktracks=8741 nbVisitedNodes=40549
50.17 nbRestartNogoods=121
50.17 => wckTime=47.661 cpuTime=47.31 mem=67M191
74.58
74.58 search
74.58 run=15 nbConstraintChecks=45174351 nbValidityChecks=94234821 nbPropagations=1385573 nbRevisions=17282022
74.58 nbUselessRevisions=13616840 nbAssignments=33052 nbFailedAssignments=19629 nbBacktracks=13122
74.58 nbVisitedNodes=61616 nbRestartNogoods=132
74.58 => wckTime=72.071 cpuTime=71.61 mem=67M191
114.94
114.94 search
114.94 run=16 nbConstraintChecks=70306759 nbValidityChecks=146148163 nbPropagations=2096782 nbRevisions=26434827
114.94 nbUselessRevisions=20841263 nbAssignments=50591 nbFailedAssignments=30594 nbBacktracks=19690
114.94 nbVisitedNodes=94774 nbRestartNogoods=144
114.94 => wckTime=112.431 cpuTime=111.76 mem=67M191
150.89
150.89 search
150.89 run=17 nbConstraintChecks=92844351 nbValidityChecks=194408080 nbPropagations=3097161 nbRevisions=38977758
150.89 nbUselessRevisions=30730245 nbAssignments=71637 nbFailedAssignments=41783 nbBacktracks=29542
150.89 nbVisitedNodes=132880 nbRestartNogoods=151
150.89 => wckTime=148.385 cpuTime=147.52 mem=67M191
233.00
233.00 search
233.00 run=18 nbConstraintChecks=145004306 nbValidityChecks=301219934 nbPropagations=4601337 nbRevisions=58125024
233.00 nbUselessRevisions=45866553 nbAssignments=108780 nbFailedAssignments=64139 nbBacktracks=44322
233.00 nbVisitedNodes=202501 nbRestartNogoods=169
233.00 => wckTime=230.495 cpuTime=229.19 mem=67M191
342.12
342.12 search
342.12 run=19 nbConstraintChecks=212851617 nbValidityChecks=451123876 nbPropagations=6938763 nbRevisions=86641058
342.12 nbUselessRevisions=68194670 nbAssignments=167272 nbFailedAssignments=100455 nbBacktracks=66491
342.12 nbVisitedNodes=313234 nbRestartNogoods=182
342.12 => wckTime=339.613 cpuTime=337.73 mem=67M191
529.08
529.08 search
529.08 run=20 nbConstraintChecks=331414063 nbValidityChecks=696343092 nbPropagations=10448197 nbRevisions=130412916
529.08 nbUselessRevisions=102612511 nbAssignments=252722 nbFailedAssignments=152646 nbBacktracks=99743
529.08 nbVisitedNodes=474177 nbRestartNogoods=201
529.08 => wckTime=526.571 cpuTime=523.68 mem=67M191
767.73
767.73 search
767.73 run=21 nbConstraintChecks=480268127 nbValidityChecks=1023085892 nbPropagations=15745152 nbRevisions=194681574
767.73 nbUselessRevisions=152837891 nbAssignments=383272 nbFailedAssignments=233309 nbBacktracks=149623
767.73 nbVisitedNodes=719631 nbRestartNogoods=216
767.73 => wckTime=765.223 cpuTime=761.08 mem=67M191
1189.71
1189.71 search
1189.71 run=22 nbConstraintChecks=747697539 nbValidityChecks=1570610344 nbPropagations=23634464 nbRevisions=292599922
1189.71 nbUselessRevisions=229745646 nbAssignments=567504 nbFailedAssignments=342704 nbBacktracks=224441
1189.71 nbVisitedNodes=1064979 nbRestartNogoods=233
1189.71 => wckTime=1187.202 cpuTime=1180.78 mem=67M191
1716.77
1716.77 search
1716.77 run=23 nbConstraintChecks=1075310035 nbValidityChecks=2293297618 nbPropagations=35526614 nbRevisions=435777214
1716.77 nbUselessRevisions=341539717 nbAssignments=858245 nbFailedAssignments=521203 nbBacktracks=336672
1716.77 nbVisitedNodes=1609785 nbRestartNogoods=250
1716.77 => wckTime=1714.259 cpuTime=1705.02 mem=67M191
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-206631-1168175861 -o ROOT/results/node50/solver-206631-1168175861 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206631-1168175861/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: 1.90 2.00 1.94 3/68 3775
/proc/meminfo: memFree=1412456/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=168 CPUtime=0
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 165984767 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7918372 0 0 4096 0 0 0 0 17 1 0 0
/proc/3774/statm: 42 23 18 14 0 2 0
[startup+0.103051 s]
/proc/loadavg: 1.90 2.00 1.94 3/68 3775
/proc/meminfo: memFree=1412456/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=914988 CPUtime=0.08
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 165984767 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3774/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511119 s]
/proc/loadavg: 1.90 2.00 1.94 3/68 3775
/proc/meminfo: memFree=1412456/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915328 CPUtime=0.47
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 7812 0 1 0 43 4 0 0 18 0 8 0 165984767 937295872 7551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456047 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228832 7551 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33326 s]
/proc/loadavg: 1.90 2.00 1.94 3/88 3841
/proc/meminfo: memFree=1312128/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915328 CPUtime=1.3
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 19100 0 1 0 120 10 0 0 25 0 8 0 165984767 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228832 18838 2149 14 0 215302 0
[pid=3774/tid=3776] ppid=3772 vsize=915328 CPUtime=0.04
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 2682 0 0 0 4 0 0 0 17 0 8 0 165984771 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915328 CPUtime=0.07
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915328 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) R 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98654 s]
/proc/loadavg: 1.90 2.00 1.94 4/88 3841
/proc/meminfo: memFree=1256576/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=2.94
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32697 0 1 0 277 17 0 0 25 0 8 0 165984767 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32432 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 17 0 8 0 165984771 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.17
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 370 0 0 0 17 0 0 0 15 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915424
[startup+6.27109 s]
/proc/loadavg: 1.91 2.00 1.94 3/88 3841
/proc/meminfo: memFree=1223880/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=6.2
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32712 0 1 0 603 17 0 0 25 0 8 0 165984767 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32444 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 17 0 8 0 165984771 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.21
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915424
[startup+12.7602 s]
/proc/loadavg: 1.91 2.00 1.94 3/88 3841
/proc/meminfo: memFree=1223440/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=12.66
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32722 0 1 0 1249 17 0 0 25 0 8 0 165984767 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32451 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915424
[startup+25.6113 s]
/proc/loadavg: 1.93 2.00 1.94 3/88 3843
/proc/meminfo: memFree=1223696/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=25.45
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32722 0 1 0 2528 17 0 0 25 0 8 0 165984767 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32451 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915424
[startup+51.2296 s]
/proc/loadavg: 1.95 2.00 1.94 3/88 3843
/proc/meminfo: memFree=1223632/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=50.92
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32722 0 1 0 5074 18 0 0 25 0 8 0 165984767 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32451 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 390 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32451 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915424
[startup+102.457 s]
/proc/loadavg: 2.03 2.01 1.95 3/88 3843
/proc/meminfo: memFree=1223760/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=101.88
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32725 0 1 0 10170 18 0 0 25 0 8 0 165984767 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073768035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32453 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 392 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915424
[startup+162.535 s]
/proc/loadavg: 2.01 2.00 1.95 3/88 3843
/proc/meminfo: memFree=1223760/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=161.66
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32725 0 1 0 16147 19 0 0 25 0 8 0 165984767 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.57
Current children cumulated vsize (KiB) 915424
[startup+1484.26 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1476.3
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 147603 27 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.3
Current children cumulated vsize (KiB) 915424
[startup+1544.34 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1536.09
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 153581 28 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.09
Current children cumulated vsize (KiB) 915424
[startup+1604.42 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1595.84
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 159556 28 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.84
Current children cumulated vsize (KiB) 915424
[startup+1664.51 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223504/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1655.61
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 165532 29 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.61
Current children cumulated vsize (KiB) 915424
[startup+1724.58 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223440/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1715.38
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 171508 30 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0.02
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.38
Current children cumulated vsize (KiB) 915424
[startup+1784.66 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3843
/proc/meminfo: memFree=1223440/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1775.13
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 177483 30 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0.02
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.13
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.76 s]
/proc/loadavg: 2.00 2.00 1.98 2/75 3857
/proc/meminfo: memFree=1291960/2055920 swapFree=4191892/4192956
[pid=3774] ppid=3772 vsize=915424 CPUtime=1800.1
/proc/3774/stat : 3774 (java) R 3772 3774 3219 0 -1 0 32726 0 1 0 179979 31 0 0 25 0 8 0 165984767 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3774/statm: 228856 32454 2531 14 0 215326 0
[pid=3774/tid=3776] ppid=3772 vsize=915424 CPUtime=0.43
/proc/3774/task/3776/stat : 3776 (java) S 3772 3774 3219 0 -1 64 15713 0 0 0 37 6 0 0 16 0 8 0 165984771 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3777] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3777/stat : 3777 (java) S 3772 3774 3219 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3778] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3778/stat : 3778 (java) S 3772 3774 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165984772 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3779] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3779/stat : 3779 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3780] ppid=3772 vsize=915424 CPUtime=0.22
/proc/3774/task/3780/stat : 3780 (java) S 3772 3774 3219 0 -1 64 393 0 0 0 22 0 0 0 16 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3781] ppid=3772 vsize=915424 CPUtime=0
/proc/3774/task/3781/stat : 3781 (java) S 3772 3774 3219 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3774/tid=3782] ppid=3772 vsize=915424 CPUtime=0.02
/proc/3774/task/3782/stat : 3782 (java) S 3772 3774 3219 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 165984775 937394176 32454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.82
CPU time (s): 1800.16
CPU user time (s): 1799.83
CPU system time (s): 0.334949
CPU usage (%): 99.4665
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32743
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= 37738
involuntary context switches= 61346
runsolver used 2.39663 s user time and 5.36418 s system time
The end
Begin job on node50 on Sun Jan 7 13:17:42 UTC 2007
IDJOB= 206631
IDBENCH= 4223
FILE ID= node50/206631-1168175861
PBS_JOBID= 3479082
Free space on /tmp= 66556 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-12_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206631-1168175861/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-206631-1168175861 -o ROOT/results/node50/solver-206631-1168175861 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206631-1168175861/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b203f3a76345008d6e9dae755bd5826d
RANDOM SEED= 738141551
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.263
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 : 5931.00
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.263
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: 1412808 kB
Buffers: 34736 kB
Cached: 529768 kB
SwapCached: 372 kB
Active: 184784 kB
Inactive: 401008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1412808 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 7476 kB
Writeback: 0 kB
Mapped: 30120 kB
Slab: 43036 kB
Committed_AS: 3767872 kB
PageTables: 1676 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= 66556 MiB
End job on node50 on Sun Jan 7 13:47:53 UTC 2007