0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/196183-1168070451/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.48 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
1.14
1.14 constraints being loaded...
1.41 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.41 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=20 maxArity=3
1.41 => wckTime=1.037 cpuTime=0.9 mem=50M841
1.54
1.54 solver IterativeSystematicSolver being built...
1.70 => wckTime=1.324 cpuTime=1.04 mem=34M589
1.71
1.71 preprocessing
1.71 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.71 detectedInconsistency=no
1.71 => wckTime=0.0040 cpuTime=0.0 mem=34M589
1.85
1.85 search
1.85 run=0 nbConstraintChecks=45346 nbValidityChecks=81304 nbPropagations=475 nbRevisions=4644
1.85 nbUselessRevisions=3612 nbAssignments=36 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=68
1.85 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.85 => wckTime=0.147 cpuTime=0.11 mem=35M580
1.95
1.95 search
1.95 run=1 nbConstraintChecks=98436 nbValidityChecks=185665 nbPropagations=1525 nbRevisions=16182
1.95 nbUselessRevisions=12557 nbAssignments=81 nbFailedAssignments=48 nbBacktracks=25 nbVisitedNodes=149
1.95 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.95 => wckTime=0.245 cpuTime=0.2 mem=35M580
2.12
2.12 search
2.12 run=2 nbConstraintChecks=207766 nbValidityChecks=397196 nbPropagations=3504 nbRevisions=39484
2.12 nbUselessRevisions=30840 nbAssignments=153 nbFailedAssignments=93 nbBacktracks=49 nbVisitedNodes=282
2.13 nbRestartNogoods=8 mapSize=45 nbInferences=0 nbTooLargeKeys=0
2.13 => wckTime=0.422 cpuTime=0.37 mem=35M580
2.32
2.32 search
2.32 run=3 nbConstraintChecks=326668 nbValidityChecks=627573 nbPropagations=6703 nbRevisions=77177
2.32 nbUselessRevisions=60124 nbAssignments=242 nbFailedAssignments=143 nbBacktracks=84 nbVisitedNodes=445
2.32 nbRestartNogoods=14 mapSize=78 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=0.613 cpuTime=0.55 mem=35M580
2.63
2.63 search
2.63 run=4 nbConstraintChecks=527639 nbValidityChecks=1038296 nbPropagations=12009 nbRevisions=141152
2.63 nbUselessRevisions=109991 nbAssignments=438 nbFailedAssignments=283 nbBacktracks=134 nbVisitedNodes=815
2.63 nbRestartNogoods=20 mapSize=119 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=0.927 cpuTime=0.86 mem=35M580
3.11
3.11 search
3.11 run=5 nbConstraintChecks=862274 nbValidityChecks=1661391 nbPropagations=20193 nbRevisions=242348
3.11 nbUselessRevisions=188887 nbAssignments=681 nbFailedAssignments=447 nbBacktracks=209 nbVisitedNodes=1277
3.11 nbRestartNogoods=29 mapSize=188 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=1.403 cpuTime=1.32 mem=35M580
3.73
3.73 search
3.73 run=6 nbConstraintChecks=1274453 nbValidityChecks=2459870 nbPropagations=32382 nbRevisions=391529
3.73 nbUselessRevisions=304808 nbAssignments=971 nbFailedAssignments=620 nbBacktracks=323 nbVisitedNodes=1820
3.73 nbRestartNogoods=34 mapSize=295 nbInferences=0 nbTooLargeKeys=0
3.73 => wckTime=2.027 cpuTime=1.94 mem=35M580
4.58
4.58 search
4.58 run=7 nbConstraintChecks=1839295 nbValidityChecks=3563009 nbPropagations=49961 nbRevisions=609290
4.58 nbUselessRevisions=475090 nbAssignments=1430 nbFailedAssignments=905 nbBacktracks=493 nbVisitedNodes=2681
4.58 nbRestartNogoods=39 mapSize=448 nbInferences=0 nbTooLargeKeys=0
4.58 => wckTime=2.873 cpuTime=2.77 mem=35M580
6.11
6.11 search
6.11 run=8 nbConstraintChecks=2854241 nbValidityChecks=5552088 nbPropagations=77621 nbRevisions=949692
6.11 nbUselessRevisions=740507 nbAssignments=2212 nbFailedAssignments=1427 nbBacktracks=749 nbVisitedNodes=4189
6.11 nbRestartNogoods=50 mapSize=688 nbInferences=0 nbTooLargeKeys=0
6.11 => wckTime=4.403 cpuTime=4.27 mem=35M580
7.87
7.87 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=35M580)
8.09
8.09 search
8.09 run=9 nbConstraintChecks=4170448 nbValidityChecks=8217610 nbPropagations=119194 nbRevisions=1461253
8.09 nbUselessRevisions=1140309 nbAssignments=3307 nbFailedAssignments=2134 nbBacktracks=1133 nbVisitedNodes=6250
8.09 nbRestartNogoods=66
8.09 => wckTime=6.389 cpuTime=6.23 mem=35M580
12.05
12.06 search
12.06 run=10 nbConstraintChecks=6797775 nbValidityChecks=13495427 nbPropagations=185513 nbRevisions=2288928
12.06 nbUselessRevisions=1791280 nbAssignments=5443 nbFailedAssignments=3691 nbBacktracks=1709 nbVisitedNodes=10396
12.06 nbRestartNogoods=70
12.06 => wckTime=10.352 cpuTime=10.12 mem=35M580
16.97
16.97 search
16.97 run=11 nbConstraintChecks=10343617 nbValidityChecks=20387747 nbPropagations=284828 nbRevisions=3538280
16.97 nbUselessRevisions=2769552 nbAssignments=8232 nbFailedAssignments=5612 nbBacktracks=2574 nbVisitedNodes=15717
16.97 nbRestartNogoods=78
16.97 => wckTime=15.269 cpuTime=14.96 mem=35M580
23.37
23.38 search
23.38 run=12 nbConstraintChecks=14789444 nbValidityChecks=29173416 nbPropagations=429053 nbRevisions=5331338
23.38 nbUselessRevisions=4166075 nbAssignments=11758 nbFailedAssignments=7837 nbBacktracks=3871 nbVisitedNodes=22409
23.38 nbRestartNogoods=85
23.38 => wckTime=21.672 cpuTime=21.29 mem=35M580
33.85
33.85 search
33.85 run=13 nbConstraintChecks=21974386 nbValidityChecks=43421103 nbPropagations=644314 nbRevisions=8009791
33.85 nbUselessRevisions=6251333 nbAssignments=17419 nbFailedAssignments=11548 nbBacktracks=5817 nbVisitedNodes=33287
33.85 nbRestartNogoods=90
33.85 => wckTime=32.151 cpuTime=31.64 mem=35M580
49.04
49.04 search
49.04 run=14 nbConstraintChecks=32421295 nbValidityChecks=63834708 nbPropagations=965498 nbRevisions=11948205
49.04 nbUselessRevisions=9308666 nbAssignments=25486 nbFailedAssignments=16691 nbBacktracks=8736 nbVisitedNodes=48713
49.04 nbRestartNogoods=102
49.04 => wckTime=47.332 cpuTime=46.65 mem=35M580
71.75
71.75 search
71.75 run=15 nbConstraintChecks=47888371 nbValidityChecks=95105603 nbPropagations=1449785 nbRevisions=17915007
71.75 nbUselessRevisions=13950480 nbAssignments=38688 nbFailedAssignments=25509 nbBacktracks=13114
71.75 nbVisitedNodes=73969 nbRestartNogoods=119
71.75 => wckTime=70.052 cpuTime=69.15 mem=35M580
106.75
106.75 search
106.75 run=16 nbConstraintChecks=71686718 nbValidityChecks=142508511 nbPropagations=2177468 nbRevisions=26939371
106.75 nbUselessRevisions=20983985 nbAssignments=58231 nbFailedAssignments=38480 nbBacktracks=19683
106.75 nbVisitedNodes=111323 nbRestartNogoods=135
106.75 => wckTime=105.043 cpuTime=103.76 mem=35M580
164.28
164.28 search
164.28 run=17 nbConstraintChecks=111177048 nbValidityChecks=219088920 nbPropagations=3270497 nbRevisions=40484064
164.28 nbUselessRevisions=31542936 nbAssignments=86809 nbFailedAssignments=57201 nbBacktracks=29535
164.28 nbVisitedNodes=166072 nbRestartNogoods=141
164.28 => wckTime=162.58 cpuTime=160.78 mem=35M580
247.36
247.36 search
247.36 run=18 nbConstraintChecks=168190580 nbValidityChecks=330031598 nbPropagations=4914503 nbRevisions=60714190
247.36 nbUselessRevisions=47292520 nbAssignments=129412 nbFailedAssignments=85022 nbBacktracks=44313
247.36 nbVisitedNodes=247691 nbRestartNogoods=162
247.36 => wckTime=245.659 cpuTime=243.1 mem=35M580
380.00
380.00 search
380.00 run=19 nbConstraintChecks=259634764 nbValidityChecks=505678358 nbPropagations=7397501 nbRevisions=91367791
380.00 nbUselessRevisions=71170139 nbAssignments=193826 nbFailedAssignments=127265 nbBacktracks=66481
380.01 nbVisitedNodes=371323 nbRestartNogoods=190
380.01 => wckTime=378.302 cpuTime=374.53 mem=35M580
576.92
576.92 search
576.92 run=20 nbConstraintChecks=395373131 nbValidityChecks=770160902 nbPropagations=11173491 nbRevisions=138027019
576.92 nbUselessRevisions=107526700 nbAssignments=294871 nbFailedAssignments=195052 nbBacktracks=99735
576.92 nbVisitedNodes=565898 nbRestartNogoods=197
576.92 => wckTime=575.214 cpuTime=569.64 mem=35M580
868.31
868.31 search
868.31 run=21 nbConstraintChecks=599240147 nbValidityChecks=1163997215 nbPropagations=16839574 nbRevisions=208275814
868.31 nbUselessRevisions=162302252 nbAssignments=442068 nbFailedAssignments=292368 nbBacktracks=149613
868.31 nbVisitedNodes=848649 nbRestartNogoods=214
868.31 => wckTime=866.606 cpuTime=858.83 mem=35M580
938.88
938.88 search
938.88 run=22 nbConstraintChecks=651305203 nbValidityChecks=1266534325 nbPropagations=23005058 nbRevisions=284771646
938.88 nbUselessRevisions=221946533 nbAssignments=481784 nbFailedAssignments=319194 nbBacktracks=162504
938.88 nbVisitedNodes=925167 nbRestartNogoods=241
938.88 => wckTime=937.179 cpuTime=929.34 mem=35M580
938.88
938.88 global
938.88 nbConstraintChecks=651305203 nbValidityChecks=1266534325 nbPropagations=23005082 nbRevisions=284771646
938.88 nbUselessRevisions=221946533 nbRestartNogoods=241 solvingWckTime=937.18 solvingCpuTime=929.34 expiredTime=no
938.88 totalExploration=yes nbFoundSolutions=0 globalCpuTime=930.44
938.88 => wckTime=938.507 cpuTime=930.38 mem=35M580
938.89
938.89 s UNSATISFIABLE
938.89 d NODES 481784
938.89 d CHECKS 651305203
938.89
938.89 totalWckTime=938.588 totalCpuTime=930.44
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-196183-1168070451 -o ROOT/results/node4/solver-196183-1168070451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196183-1168070451/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.92 1.98 1.90 4/93 10459
/proc/meminfo: memFree=1223872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=18540 CPUtime=0
/proc/10458/stat : 10458 (runsolver) R 10456 10458 10391 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155440667 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10458/statm: 4635 279 244 17 0 2626 0
[startup+0.104019 s]
/proc/loadavg: 1.92 1.98 1.90 4/93 10459
/proc/meminfo: memFree=1223872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=907808 CPUtime=0.06
/proc/10458/stat : 10458 (java) D 10456 10458 10391 0 -1 0 2506 0 1 0 5 1 0 0 17 0 4 0 155440667 929595392 2253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 226952 2253 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.516059 s]
/proc/loadavg: 1.92 1.98 1.90 4/93 10459
/proc/meminfo: memFree=1223872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915328 CPUtime=0.43
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 6425 0 1 0 40 3 0 0 18 0 8 0 155440667 937295872 6164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228832 6164 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34215 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 10466
/proc/meminfo: memFree=1156872/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915328 CPUtime=1.24
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 19113 0 1 0 115 9 0 0 25 0 8 0 155440667 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073633603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228832 18851 2160 14 0 215302 0
[pid=10458/tid=10460] ppid=10456 vsize=915328 CPUtime=0.05
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 2650 0 0 0 4 1 0 0 17 0 8 0 155440671 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155440672 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915328 CPUtime=0.1
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915328 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937295872 18851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915328
[startup+2.9793 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 10466
/proc/meminfo: memFree=1140232/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=2.86
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23551 0 1 0 274 12 0 0 25 0 8 0 155440667 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23286 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.19
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23286 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915420
[startup+6.26661 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 10466
/proc/meminfo: memFree=1140232/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=6.12
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23567 0 1 0 599 13 0 0 25 0 8 0 155440667 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780953 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23299 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 17 0 8 0 155440671 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.23
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 388 0 0 0 22 1 0 0 15 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915420
[startup+12.7572 s]
/proc/loadavg: 1.94 1.98 1.91 3/106 10492
/proc/meminfo: memFree=1139096/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=12.52
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 1239 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915420
[startup+25.6375 s]
/proc/loadavg: 1.95 1.98 1.91 3/106 10540
/proc/meminfo: memFree=1139280/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=25.23
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 2510 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 915420
[startup+51.2809 s]
/proc/loadavg: 1.97 1.98 1.91 3/106 10604
/proc/meminfo: memFree=1139288/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=50.59
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 5046 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760390 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915420
[startup+102.562 s]
/proc/loadavg: 1.98 1.98 1.91 3/106 10644
/proc/meminfo: memFree=1139352/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=101.35
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 10122 13 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915420
[startup+162.573 s]
/proc/loadavg: 1.99 1.98 1.91 3/100 10664
/proc/meminfo: memFree=1140296/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=160.8
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 16066 14 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757620 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.1
Current children cumulated vsize (KiB) 915420
[startup+522.62 s]
/proc/loadavg: 2.01 2.02 1.93 3/100 10664
/proc/meminfo: memFree=1140424/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=517.55
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 51739 16 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.55
Current children cumulated vsize (KiB) 915420
[startup+582.632 s]
/proc/loadavg: 2.00 2.01 1.93 3/100 10664
/proc/meminfo: memFree=1140488/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=577.02
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 57685 17 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760402 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.02
Current children cumulated vsize (KiB) 915420
[startup+642.641 s]
/proc/loadavg: 2.00 2.00 1.93 5/100 10664
/proc/meminfo: memFree=1140488/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=636.48
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 63631 17 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632905 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.48
Current children cumulated vsize (KiB) 915420
[startup+702.657 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 10664
/proc/meminfo: memFree=1140488/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=695.94
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 69576 18 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 695.94
Current children cumulated vsize (KiB) 915420
[startup+762.757 s]
/proc/loadavg: 1.84 1.96 1.91 3/100 10812
/proc/meminfo: memFree=1086024/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=755.83
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 75562 21 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073771491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 755.83
Current children cumulated vsize (KiB) 915420
[startup+822.767 s]
/proc/loadavg: 2.14 2.02 1.93 3/100 10812
/proc/meminfo: memFree=1085896/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=815.3
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 81508 22 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 815.3
Current children cumulated vsize (KiB) 915420
[startup+882.849 s]
/proc/loadavg: 1.94 1.98 1.92 3/100 10868
/proc/meminfo: memFree=1034184/2055920 swapFree=4191880/4192956
[pid=10458] ppid=10456 vsize=915420 CPUtime=875.07
/proc/10458/stat : 10458 (java) R 10456 10458 10391 0 -1 0 23575 0 1 0 87484 23 0 0 25 0 8 0 155440667 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073768774 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10458/statm: 228855 23305 2521 14 0 215325 0
[pid=10458/tid=10460] ppid=10456 vsize=915420 CPUtime=0.16
/proc/10458/task/10460/stat : 10460 (java) S 10456 10458 10391 0 -1 64 6585 0 0 0 13 3 0 0 16 0 8 0 155440671 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10461] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10461/stat : 10461 (java) S 10456 10458 10391 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10462] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10462/stat : 10462 (java) S 10456 10458 10391 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155440672 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10463] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10463/stat : 10463 (java) S 10456 10458 10391 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10464] ppid=10456 vsize=915420 CPUtime=0.24
/proc/10458/task/10464/stat : 10464 (java) S 10456 10458 10391 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10465] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10465/stat : 10465 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10458/tid=10466] ppid=10456 vsize=915420 CPUtime=0
/proc/10458/task/10466/stat : 10466 (java) S 10456 10458 10391 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155440681 937390080 23305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 875.07
Current children cumulated vsize (KiB) 915420
Child status: 0
Real time (s): 938.954
CPU time (s): 931.082
CPU user time (s): 930.824
CPU system time (s): 0.25796
CPU usage (%): 99.1617
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 930.824
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23582
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= 20109
involuntary context switches= 40403
runsolver used 1.25981 s user time and 2.89456 s system time
The end
Begin job on node4 on Sat Jan 6 08:00:51 UTC 2007
IDJOB= 196183
IDBENCH= 3332
FILE ID= node4/196183-1168070451
PBS_JOBID= 3475715
Free space on /tmp= 66303 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196183-1168070451/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-196183-1168070451 -o ROOT/results/node4/solver-196183-1168070451 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196183-1168070451/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4ea4c4ee290c9adfb8c44879b86c5eca
RANDOM SEED= 927039171
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.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
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: 1224352 kB
Buffers: 73380 kB
Cached: 585000 kB
SwapCached: 268 kB
Active: 443232 kB
Inactive: 292588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1224352 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4752 kB
Writeback: 0 kB
Mapped: 105744 kB
Slab: 80204 kB
Committed_AS: 4496416 kB
PageTables: 2504 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= 66303 MiB
End job on node4 on Sat Jan 6 08:16:31 UTC 2007