0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/240201-1168085195/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.43 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.43 => wckTime=0.141 cpuTime=0.12 mem=7M894
0.43
0.43 relations being loaded...
0.44
0.44 constraints being loaded...
0.77 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
0.77 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
0.77 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.77 => wckTime=0.478 cpuTime=0.36 mem=24M473
0.84
0.84 solver IterativeSystematicSolver being built...
1.00 => wckTime=0.71 cpuTime=0.49 mem=18M552
1.05
1.05 preprocessing
1.05 nbConstraintChecks=45059 nbPropagations=400 nbRevisions=3974 nbUselessRevisions=1046 nbRemovedValues=2928
1.05 detectedInconsistency=no
1.05 => wckTime=0.04 cpuTime=0.02 mem=18M552
1.12
1.12 search
1.12 run=0 nbConstraintChecks=4182 nbPropagations=784 nbRevisions=5235 nbUselessRevisions=1802 nbAssignments=270
1.12 nbFailedAssignments=3 nbBacktracks=13 nbVisitedNodes=276 nbRestartNogoods=0 mapSize=2 nbInferences=0
1.12 nbTooLargeKeys=0
1.12 => wckTime=0.109 cpuTime=0.08 mem=19M527
1.16
1.16 search
1.16 run=1 nbConstraintChecks=9451 nbPropagations=1988 nbRevisions=12093 nbUselessRevisions=4572 nbAssignments=536
1.16 nbFailedAssignments=7 nbBacktracks=30 nbVisitedNodes=550 nbRestartNogoods=3 mapSize=8 nbInferences=0
1.16 nbTooLargeKeys=0
1.16 => wckTime=0.157 cpuTime=0.12 mem=19M527
1.21
1.21 search
1.21 run=2 nbConstraintChecks=14883 nbPropagations=3677 nbRevisions=20606 nbUselessRevisions=8308 nbAssignments=828
1.21 nbFailedAssignments=15 nbBacktracks=56 nbVisitedNodes=856 nbRestartNogoods=5 mapSize=18 nbInferences=0
1.21 nbTooLargeKeys=0
1.21 => wckTime=0.204 cpuTime=0.16 mem=19M527
1.26
1.26 search
1.26 run=3 nbConstraintChecks=22370 nbPropagations=5981 nbRevisions=31671 nbUselessRevisions=13628
1.26 nbAssignments=1137 nbFailedAssignments=27 nbBacktracks=92 nbVisitedNodes=1187 nbRestartNogoods=9 mapSize=35
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.253 cpuTime=0.21 mem=19M527
1.31
1.31 search
1.31 run=4 nbConstraintChecks=37493 nbPropagations=9156 nbRevisions=47936 nbUselessRevisions=22166
1.31 nbAssignments=1443 nbFailedAssignments=39 nbBacktracks=147 nbVisitedNodes=1518 nbRestartNogoods=13 mapSize=59
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.302 cpuTime=0.26 mem=20M500
1.37
1.37 search
1.37 run=5 nbConstraintChecks=51138 nbPropagations=13282 nbRevisions=68563 nbUselessRevisions=33207
1.37 nbAssignments=1800 nbFailedAssignments=69 nbBacktracks=225 nbVisitedNodes=1932 nbRestartNogoods=14 mapSize=109
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.363 cpuTime=0.31 mem=20M500
1.43
1.43 search
1.43 run=6 nbConstraintChecks=70950 nbPropagations=18730 nbRevisions=96315 nbUselessRevisions=48769
1.43 nbAssignments=2210 nbFailedAssignments=94 nbBacktracks=339 nbVisitedNodes=2387 nbRestartNogoods=20 mapSize=148
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.421 cpuTime=0.36 mem=20M500
1.49
1.49 search
1.49 run=7 nbConstraintChecks=99790 nbPropagations=26148 nbRevisions=135113 nbUselessRevisions=71599
1.49 nbAssignments=2691 nbFailedAssignments=133 nbBacktracks=509 nbVisitedNodes=2952 nbRestartNogoods=25
1.49 mapSize=226 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.49 cpuTime=0.43 mem=21M473
1.57
1.57 search
1.57 run=8 nbConstraintChecks=131268 nbPropagations=35255 nbRevisions=187087 nbUselessRevisions=103896
1.57 nbAssignments=3208 nbFailedAssignments=168 nbBacktracks=766 nbVisitedNodes=3538 nbRestartNogoods=27
1.57 mapSize=290 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.565 cpuTime=0.51 mem=21M473
1.67
1.67 search
1.67 run=9 nbConstraintChecks=193315 nbPropagations=46888 nbRevisions=276645 nbUselessRevisions=168631
1.67 nbAssignments=3711 nbFailedAssignments=217 nbBacktracks=1163 nbVisitedNodes=4132 nbRestartNogoods=31
1.67 mapSize=379 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.669 cpuTime=0.61 mem=21M473
1.85
1.85 search
1.85 run=10 nbConstraintChecks=307924 nbPropagations=62810 nbRevisions=434603 nbUselessRevisions=292494
1.85 nbAssignments=4438 nbFailedAssignments=300 nbBacktracks=1762 nbVisitedNodes=5035 nbRestartNogoods=32
1.85 mapSize=546 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=0.841 cpuTime=0.77 mem=22M447
2.07
2.07 search
2.07 run=11 nbConstraintChecks=469365 nbPropagations=84562 nbRevisions=693436 nbUselessRevisions=504808
2.07 nbAssignments=5484 nbFailedAssignments=404 nbBacktracks=2640 nbVisitedNodes=6275 nbRestartNogoods=39
2.07 mapSize=728 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=1.069 cpuTime=1.0 mem=22M447
2.30
2.30 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=23M420)
2.39
2.39 search
2.39 run=12 nbConstraintChecks=667755 nbPropagations=114596 nbRevisions=1068546 nbUselessRevisions=816722
2.39 nbAssignments=7056 nbFailedAssignments=654 nbBacktracks=3937 nbVisitedNodes=8262 nbRestartNogoods=49
2.39 => wckTime=1.382 cpuTime=1.31 mem=23M420
2.81
2.81 search
2.81 run=13 nbConstraintChecks=1044590 nbPropagations=158318 nbRevisions=1672220 nbUselessRevisions=1326920
2.81 nbAssignments=9396 nbFailedAssignments=968 nbBacktracks=5888 nbVisitedNodes=11198 nbRestartNogoods=54
2.81 => wckTime=1.804 cpuTime=1.73 mem=23M420
3.41
3.41 search
3.41 run=14 nbConstraintChecks=1580254 nbPropagations=221707 nbRevisions=2616817 nbUselessRevisions=2137016
3.41 nbAssignments=12833 nbFailedAssignments=1417 nbBacktracks=8811 nbVisitedNodes=15418 nbRestartNogoods=62
3.41 => wckTime=2.404 cpuTime=2.32 mem=23M420
4.53
4.53 search
4.53 run=15 nbConstraintChecks=2713348 nbPropagations=324264 nbRevisions=4276274 nbUselessRevisions=3576662
4.53 nbAssignments=18044 nbFailedAssignments=2191 nbBacktracks=13190 nbVisitedNodes=22110 nbRestartNogoods=74
4.53 => wckTime=3.527 cpuTime=3.44 mem=23M420
5.65
5.65 search
5.65 run=16 nbConstraintChecks=3578759 nbPropagations=461203 nbRevisions=6444483 nbUselessRevisions=5453115
5.65 nbAssignments=25459 nbFailedAssignments=2914 nbBacktracks=19867 nbVisitedNodes=30909 nbRestartNogoods=83
5.65 => wckTime=4.649 cpuTime=4.56 mem=23M420
7.75
7.75 search
7.75 run=17 nbConstraintChecks=5946500 nbPropagations=728519 nbRevisions=9559044 nbUselessRevisions=7981047
7.75 nbAssignments=38480 nbFailedAssignments=5834 nbBacktracks=29721 nbVisitedNodes=49214 nbRestartNogoods=87
7.75 => wckTime=6.741 cpuTime=6.65 mem=23M420
11.90
11.90 search
11.90 run=18 nbConstraintChecks=10399934 nbPropagations=1171383 nbRevisions=15231785 nbUselessRevisions=12671805
11.90 nbAssignments=57027 nbFailedAssignments=9552 nbBacktracks=44500 nbVisitedNodes=74447 nbRestartNogoods=102
11.90 => wckTime=10.899 cpuTime=10.77 mem=23M420
19.35
19.35 search
19.35 run=19 nbConstraintChecks=18777282 nbPropagations=1896313 nbRevisions=26195438 nbUselessRevisions=22025562
19.35 nbAssignments=84976 nbFailedAssignments=15291 nbBacktracks=66675 nbVisitedNodes=113630 nbRestartNogoods=111
19.35 => wckTime=18.346 cpuTime=18.19 mem=23M420
30.01
30.01 search
30.01 run=20 nbConstraintChecks=30219681 nbPropagations=3013673 nbRevisions=44268316 nbUselessRevisions=37590980
30.01 nbAssignments=128300 nbFailedAssignments=25308 nbBacktracks=99933 nbVisitedNodes=175026 nbRestartNogoods=122
30.01 => wckTime=29.001 cpuTime=28.81 mem=23M420
45.94
45.94 search
45.94 run=21 nbConstraintChecks=48122655 nbPropagations=4734188 nbRevisions=73646681 nbUselessRevisions=63061526
45.94 nbAssignments=191554 nbFailedAssignments=38647 nbBacktracks=149811 nbVisitedNodes=264393 nbRestartNogoods=136
45.94 => wckTime=44.935 cpuTime=44.68 mem=23M420
71.33
71.33 search
71.33 run=22 nbConstraintChecks=76049589 nbPropagations=7387810 nbRevisions=120423090 nbUselessRevisions=103773830
71.33 nbAssignments=288552 nbFailedAssignments=60785 nbBacktracks=224631 nbVisitedNodes=401772 nbRestartNogoods=147
71.33 => wckTime=70.328 cpuTime=69.97 mem=23M420
107.48
107.48 search
107.48 run=23 nbConstraintChecks=116010103 nbPropagations=11415681 nbRevisions=192434123 nbUselessRevisions=166644296
107.48 nbAssignments=430674 nbFailedAssignments=90649 nbBacktracks=336864 nbVisitedNodes=601102 nbRestartNogoods=159
107.48 => wckTime=106.477 cpuTime=105.98 mem=23M420
160.93
160.93 search
160.93 run=24 nbConstraintChecks=172275311 nbPropagations=17404607 nbRevisions=299269745 nbUselessRevisions=260009835
160.93 nbAssignments=642515 nbFailedAssignments=134118 nbBacktracks=505213 nbVisitedNodes=892022 nbRestartNogoods=169
160.93 => wckTime=159.927 cpuTime=159.37 mem=23M420
244.59
244.59 search
244.59 run=25 nbConstraintChecks=268760531 nbPropagations=26609617 nbRevisions=466776012 nbUselessRevisions=406615243
244.59 nbAssignments=963777 nbFailedAssignments=202830 nbBacktracks=757725 nbVisitedNodes=1345951 nbRestartNogoods=180
244.59 => wckTime=243.586 cpuTime=242.93 mem=23M420
367.37
367.37 search
367.37 run=26 nbConstraintChecks=405906751 nbPropagations=40480388 nbRevisions=720733856 nbUselessRevisions=629123082
367.37 nbAssignments=1449244 nbFailedAssignments=309482 nbBacktracks=1136499 nbVisitedNodes=2029122
367.37 nbRestartNogoods=193
367.37 => wckTime=366.365 cpuTime=365.55 mem=23M420
551.32
551.32 search
551.32 run=27 nbConstraintChecks=614143027 nbPropagations=61398903 nbRevisions=1107217338 nbUselessRevisions=968391417
551.32 nbAssignments=2173980 nbFailedAssignments=466027 nbBacktracks=1704652 nbVisitedNodes=3051991
551.32 nbRestartNogoods=212
551.32 => wckTime=550.314 cpuTime=549.4 mem=23M420
827.43
827.43 search
827.43 run=28 nbConstraintChecks=924676849 nbPropagations=92850491 nbRevisions=1689786428
827.43 nbUselessRevisions=1479825970 nbAssignments=3257672 nbFailedAssignments=697438 nbBacktracks=2556882
827.43 nbVisitedNodes=4577490 nbRestartNogoods=224
827.43 => wckTime=826.422 cpuTime=825.4 mem=23M420
1242.50
1242.50 search
1242.50 run=29 nbConstraintChecks=1394205739 nbPropagations=140203242 nbRevisions=2570040435
1242.50 nbUselessRevisions=2252873957 nbAssignments=4871568 nbFailedAssignments=1032958 nbBacktracks=3835227
1242.50 nbVisitedNodes=6844614 nbRestartNogoods=242
1242.50 => wckTime=1241.492 cpuTime=1240.32 mem=23M420
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-240201-1168085195 -o ROOT/results/node76/solver-240201-1168085195 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240201-1168085195/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: 0.97 1.71 1.81 3/73 1191
/proc/meminfo: memFree=1733504/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=312 CPUtime=0
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 59 0 0 0 0 0 0 0 20 0 1 0 156918030 319488 41 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4817844 0 0 4096 0 0 0 0 17 1 0 0
/proc/1190/statm: 78 41 32 14 0 5 0
[startup+0.105634 s]
/proc/loadavg: 0.97 1.71 1.81 3/73 1191
/proc/meminfo: memFree=1733504/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=914992 CPUtime=0.08
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 3004 0 1 0 7 1 0 0 16 0 8 0 156918030 936951808 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153597619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1190/statm: 228748 2752 1431 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.513714 s]
/proc/loadavg: 0.97 1.71 1.81 3/73 1191
/proc/meminfo: memFree=1733504/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915332 CPUtime=0.49
/proc/1190/stat : 1190 (java) S 1188 1190 32733 0 -1 0 6624 0 1 0 45 4 0 0 16 0 8 0 156918030 937299968 6365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1190/statm: 228833 6365 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33588 s]
/proc/loadavg: 0.97 1.71 1.81 2/80 1198
/proc/meminfo: memFree=1696392/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1.3
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12006 0 1 0 122 8 0 0 16 0 8 0 156918030 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1190/statm: 228920 11746 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.24
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 476 0 0 0 23 1 0 0 16 0 8 0 156918038 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11746 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) 915680
[startup+2.98219 s]
/proc/loadavg: 0.98 1.69 1.81 2/80 1198
/proc/meminfo: memFree=1696200/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=2.94
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12016 0 1 0 286 8 0 0 17 0 8 0 156918030 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11755 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.26
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 485 0 0 0 24 2 0 0 15 0 8 0 156918038 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11755 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) 915680
[startup+6.26383 s]
/proc/loadavg: 0.98 1.69 1.81 2/80 1201
/proc/meminfo: memFree=1696008/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=6.22
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12019 0 1 0 614 8 0 0 23 0 8 0 156918030 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073949956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11757 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 487 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915680
[startup+12.7421 s]
/proc/loadavg: 0.98 1.67 1.80 2/80 1233
/proc/meminfo: memFree=1693240/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=12.65
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12019 0 1 0 1257 8 0 0 25 0 8 0 156918030 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11757 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 487 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915680
[startup+25.5826 s]
/proc/loadavg: 1.21 1.70 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=25.45
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 2537 8 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 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) 915680
[startup+51.1856 s]
/proc/loadavg: 1.48 1.72 1.81 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=50.95
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 5087 8 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915680
[startup+102.39 s]
/proc/loadavg: 1.79 1.77 1.82 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=101.95
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 10187 8 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073939243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915680
[startup+162.478 s]
/proc/loadavg: 1.32 1.64 1.77 2/80 1256
/proc/meminfo: memFree=1695624/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=161.96
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 16188 8 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948054 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.74
Current children cumulated vsize (KiB) 915680
[startup+1484.01 s]
/proc/loadavg: 1.00 1.00 1.16 2/77 1380
/proc/meminfo: memFree=1700456/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1482.78
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 148267 11 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.78
Current children cumulated vsize (KiB) 915680
[startup+1544.08 s]
/proc/loadavg: 1.00 1.00 1.15 2/77 1380
/proc/meminfo: memFree=1700392/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1542.84
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 154272 12 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952321 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.84
Current children cumulated vsize (KiB) 915680
[startup+1604.15 s]
/proc/loadavg: 1.00 1.00 1.14 2/77 1380
/proc/meminfo: memFree=1700456/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1602.89
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 160277 12 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073938371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.89
Current children cumulated vsize (KiB) 915680
[startup+1664.22 s]
/proc/loadavg: 1.00 1.00 1.13 2/77 1380
/proc/meminfo: memFree=1700456/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1662.94
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 166282 12 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073943201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.94
Current children cumulated vsize (KiB) 915680
[startup+1724.29 s]
/proc/loadavg: 1.00 1.00 1.12 2/77 1380
/proc/meminfo: memFree=1700392/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1722.98
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 172286 12 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073323881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.98
Current children cumulated vsize (KiB) 915680
[startup+1784.35 s]
/proc/loadavg: 1.00 1.00 1.11 2/77 1380
/proc/meminfo: memFree=1700392/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1783.02
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 178290 12 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.02
Current children cumulated vsize (KiB) 915680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.10 2/77 1380
/proc/meminfo: memFree=1700392/2055888 swapFree=4096420/4096564
[pid=1190] ppid=1188 vsize=915680 CPUtime=1800.07
/proc/1190/stat : 1190 (java) R 1188 1190 32733 0 -1 0 12021 0 1 0 179995 12 0 0 25 0 8 0 156918030 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1190/statm: 228920 11758 2514 14 0 215389 0
[pid=1190/tid=1192] ppid=1188 vsize=915680 CPUtime=0.06
/proc/1190/task/1192/stat : 1192 (java) S 1188 1190 32733 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156918034 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1190/tid=1193] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1193/stat : 1193 (java) S 1188 1190 32733 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1194] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1194/stat : 1194 (java) S 1188 1190 32733 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156918035 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1195] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1195/stat : 1195 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1196] ppid=1188 vsize=915680 CPUtime=0.27
/proc/1190/task/1196/stat : 1196 (java) S 1188 1190 32733 0 -1 64 488 0 0 0 25 2 0 0 16 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1197] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1197/stat : 1197 (java) S 1188 1190 32733 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1190/tid=1198] ppid=1188 vsize=915680 CPUtime=0
/proc/1190/task/1198/stat : 1198 (java) S 1188 1190 32733 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156918038 937656320 11758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.43
CPU time (s): 1800.1
CPU user time (s): 1799.97
CPU system time (s): 0.12998
CPU usage (%): 99.9259
Max. virtual memory (cumulated for all children) (KiB): 915784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12037
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= 37384
involuntary context switches= 37620
runsolver used 2.23066 s user time and 4.15837 s system time
The end
Begin job on node76 on Sat Jan 6 12:06:43 UTC 2007
IDJOB= 240201
IDBENCH= 7112
FILE ID= node76/240201-1168085195
PBS_JOBID= 3476236
Free space on /tmp= 66641 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240201-1168085195/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-240201-1168085195 -o ROOT/results/node76/solver-240201-1168085195 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240201-1168085195/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2cde9c174dc0457522f3df63c286cf31
RANDOM SEED= 156936284
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1733984 kB
Buffers: 24772 kB
Cached: 219688 kB
SwapCached: 0 kB
Active: 66716 kB
Inactive: 199032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1733984 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 2224 kB
Writeback: 0 kB
Mapped: 31728 kB
Slab: 42212 kB
Committed_AS: 5831672 kB
PageTables: 1624 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66641 MiB
End job on node76 on Sat Jan 6 12:36:51 UTC 2007