0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/209956-1168075000/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.44 nbVariables=100 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.44 => wckTime=0.113 cpuTime=0.1 mem=6M951
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
1.02 nbConstraints=2450 nbConflictsStructures=1 nbSharedConflictsStructures=2449 nbSharedBinaryRepresentations=0
1.02 nbEvaluationManagers=1 nbSharedEvaluationManagers=2449 maxDegree=98 maxArity=3
1.02 => wckTime=0.691 cpuTime=0.54 mem=27M447
1.08
1.08 solver IterativeSystematicSolver being built...
1.31 => wckTime=0.982 cpuTime=0.72 mem=29M343
1.34
1.34 preprocessing
1.34 nbConstraintChecks=0 nbPropagations=100 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.34 detectedInconsistency=no
1.34 => wckTime=0.023 cpuTime=0.02 mem=29M343
1.90
1.90 search
1.90 run=0 nbConstraintChecks=526419 nbValidityChecks=256467 nbPropagations=1508 nbRevisions=84414
1.90 nbUselessRevisions=80826 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
1.90 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.584 cpuTime=0.54 mem=29M343
2.39
2.39 search
2.39 run=1 nbConstraintChecks=1179343 nbValidityChecks=658219 nbPropagations=4931 nbRevisions=291404
2.39 nbUselessRevisions=279041 nbAssignments=73 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=134
2.39 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=1.074 cpuTime=1.01 mem=29M343
3.09
3.09 search
3.09 run=2 nbConstraintChecks=2150924 nbValidityChecks=1254581 nbPropagations=11077 nbRevisions=681223
3.09 nbUselessRevisions=652452 nbAssignments=136 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=251
3.09 nbRestartNogoods=5 mapSize=47 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=1.778 cpuTime=1.71 mem=29M343
4.10
4.10 search
4.10 run=3 nbConstraintChecks=3528278 nbValidityChecks=2125366 nbPropagations=21056 nbRevisions=1336761
4.10 nbUselessRevisions=1280656 nbAssignments=226 nbFailedAssignments=128 nbBacktracks=80 nbVisitedNodes=419
4.10 nbRestartNogoods=11 mapSize=80 nbInferences=0 nbTooLargeKeys=0
4.10 => wckTime=2.786 cpuTime=2.71 mem=29M343
5.56
5.56 search
5.56 run=4 nbConstraintChecks=5553966 nbValidityChecks=3401501 nbPropagations=36593 nbRevisions=2387650
5.56 nbUselessRevisions=2287736 nbAssignments=361 nbFailedAssignments=208 nbBacktracks=132 nbVisitedNodes=674
5.56 nbRestartNogoods=15 mapSize=132 nbInferences=0 nbTooLargeKeys=0
5.56 => wckTime=4.249 cpuTime=4.16 mem=30M316
7.84
7.84 search
7.84 run=5 nbConstraintChecks=8805123 nbValidityChecks=5305574 nbPropagations=60312 nbRevisions=4029257
7.84 nbUselessRevisions=3861249 nbAssignments=559 nbFailedAssignments=326 nbBacktracks=207 nbVisitedNodes=1049
7.84 nbRestartNogoods=17 mapSize=207 nbInferences=0 nbTooLargeKeys=0
7.84 => wckTime=6.525 cpuTime=6.41 mem=30M316
11.21
11.21 search
11.21 run=6 nbConstraintChecks=13650087 nbValidityChecks=8131713 nbPropagations=95963 nbRevisions=6545149
11.21 nbUselessRevisions=6273095 nbAssignments=853 nbFailedAssignments=502 nbBacktracks=321 nbVisitedNodes=1607
11.21 nbRestartNogoods=26 mapSize=321 nbInferences=0 nbTooLargeKeys=0
11.21 => wckTime=9.895 cpuTime=9.74 mem=30M316
16.17
16.17 search
16.17 run=7 nbConstraintChecks=20660875 nbValidityChecks=12365576 nbPropagations=149367 nbRevisions=10362707
16.17 nbUselessRevisions=9934188 nbAssignments=1282 nbFailedAssignments=756 nbBacktracks=491 nbVisitedNodes=2417
16.17 nbRestartNogoods=32 mapSize=491 nbInferences=0 nbTooLargeKeys=0
16.17 => wckTime=14.861 cpuTime=14.66 mem=30M316
23.67
23.67 search
23.67 run=8 nbConstraintChecks=31269656 nbValidityChecks=18651222 nbPropagations=229166 nbRevisions=16128136
23.67 nbUselessRevisions=15462980 nbAssignments=1937 nbFailedAssignments=1150 nbBacktracks=747 nbVisitedNodes=3663
23.67 nbRestartNogoods=37 mapSize=747 nbInferences=0 nbTooLargeKeys=0
23.67 => wckTime=22.361 cpuTime=22.08 mem=30M316
32.50
32.50 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=30M316)
34.82
34.82 search
34.82 run=9 nbConstraintChecks=47181700 nbValidityChecks=28049188 nbPropagations=348303 nbRevisions=24804574
34.82 nbUselessRevisions=23783186 nbAssignments=2914 nbFailedAssignments=1738 nbBacktracks=1131 nbVisitedNodes=5522
34.82 nbRestartNogoods=46
34.82 => wckTime=33.509 cpuTime=33.11 mem=30M316
51.51
51.51 search
51.51 run=10 nbConstraintChecks=70921564 nbValidityChecks=42109884 nbPropagations=526206 nbRevisions=37839315
51.51 nbUselessRevisions=36282541 nbAssignments=4377 nbFailedAssignments=2620 nbBacktracks=1707 nbVisitedNodes=8308
51.51 nbRestartNogoods=53
51.51 => wckTime=50.194 cpuTime=49.63 mem=30M316
76.46
76.46 search
76.46 run=11 nbConstraintChecks=106590314 nbValidityChecks=63183556 nbPropagations=792010 nbRevisions=57411448
76.46 nbUselessRevisions=55050939 nbAssignments=6568 nbFailedAssignments=3942 nbBacktracks=2571 nbVisitedNodes=12482
76.46 nbRestartNogoods=61
76.46 => wckTime=75.144 cpuTime=74.35 mem=30M316
113.83
113.84 search
113.84 run=12 nbConstraintChecks=160036230 nbValidityChecks=94717702 nbPropagations=1189521 nbRevisions=86767407
113.84 nbUselessRevisions=83200644 nbAssignments=9854 nbFailedAssignments=5926 nbBacktracks=3869 nbVisitedNodes=18744
113.84 nbRestartNogoods=70
113.84 => wckTime=112.523 cpuTime=111.39 mem=30M316
169.87
169.87 search
169.87 run=13 nbConstraintChecks=240116812 nbValidityChecks=142013203 nbPropagations=1784395 nbRevisions=130800300
169.87 nbUselessRevisions=125423700 nbAssignments=14781 nbFailedAssignments=8902 nbBacktracks=5816
169.87 nbVisitedNodes=28135 nbRestartNogoods=76
169.87 => wckTime=168.554 cpuTime=166.89 mem=30M316
253.69
253.69 search
253.69 run=14 nbConstraintChecks=359896335 nbValidityChecks=212906676 nbPropagations=2675024 nbRevisions=196831079
253.69 nbUselessRevisions=188742876 nbAssignments=22165 nbFailedAssignments=13362 nbBacktracks=8736
253.69 nbVisitedNodes=42209 nbRestartNogoods=86
253.69 => wckTime=252.374 cpuTime=249.94 mem=30M316
376.76
376.76 search
376.76 run=15 nbConstraintChecks=539490128 nbValidityChecks=319155024 nbPropagations=4008918 nbRevisions=295813099
376.76 nbUselessRevisions=283660703 nbAssignments=33194 nbFailedAssignments=20008 nbBacktracks=13114
376.76 nbVisitedNodes=63223 nbRestartNogoods=97
376.76 => wckTime=375.45 cpuTime=372.05 mem=30M316
550.57
550.57 search
550.57 run=16 nbConstraintChecks=809265882 nbValidityChecks=478564033 nbPropagations=6007751 nbRevisions=444267977
550.57 nbUselessRevisions=426016538 nbAssignments=49803 nbFailedAssignments=30044 nbBacktracks=19682
550.57 nbVisitedNodes=94886 nbRestartNogoods=105
550.57 => wckTime=549.257 cpuTime=545.68 mem=30M316
809.08
809.08 search
809.08 run=17 nbConstraintChecks=1213722348 nbValidityChecks=717355385 nbPropagations=9003636 nbRevisions=666791633
809.08 nbUselessRevisions=639390050 nbAssignments=74707 nbFailedAssignments=45092 nbBacktracks=29534
809.08 nbVisitedNodes=142362 nbRestartNogoods=126
809.08 => wckTime=807.772 cpuTime=803.91 mem=30M316
1195.05
1195.05 search
1195.05 run=18 nbConstraintChecks=1816864120 nbValidityChecks=1075736824 nbPropagations=13491020 nbRevisions=1000045154
1195.05 nbUselessRevisions=959047835 nbAssignments=110808 nbFailedAssignments=66411 nbBacktracks=44312
1195.05 nbVisitedNodes=210994 nbRestartNogoods=137
1195.05 => wckTime=1193.737 cpuTime=1189.46 mem=30M316
1760.48
1760.48 search
1760.48 run=19 nbConstraintChecks=2699130194 nbValidityChecks=1611502337 nbPropagations=20206198 nbRevisions=1498124999
1760.48 nbUselessRevisions=1437200497 nbAssignments=162571 nbFailedAssignments=96001 nbBacktracks=66481
1760.48 nbVisitedNodes=308786 nbRestartNogoods=147
1760.48 => wckTime=1759.172 cpuTime=1754.27 mem=30M316
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-209956-1168075000 -o ROOT/results/node2/solver-209956-1168075000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209956-1168075000/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.61 1.90 1.90 3/93 4535
/proc/meminfo: memFree=994800/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=18540 CPUtime=0
/proc/4534/stat : 4534 (runsolver) R 4532 4534 4411 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 155896145 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4534/statm: 4635 280 244 17 0 2626 0
[startup+0.108236 s]
/proc/loadavg: 1.61 1.90 1.90 3/93 4535
/proc/meminfo: memFree=994800/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=914988 CPUtime=0.08
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 2986 0 1 0 7 1 0 0 19 0 8 0 155896145 936947712 2732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228747 2732 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516312 s]
/proc/loadavg: 1.61 1.90 1.90 3/93 4535
/proc/meminfo: memFree=994800/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915328 CPUtime=0.48
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 6472 0 1 0 44 4 0 0 18 0 8 0 155896145 937295872 6211 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228832 6211 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33746 s]
/proc/loadavg: 1.61 1.90 1.90 3/100 4542
/proc/meminfo: memFree=956920/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1.3
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12253 0 1 0 110 20 0 0 24 0 8 0 155896145 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 11991 2528 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 483 0 0 0 5 0 0 0 17 0 8 0 155896149 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.25
/proc/4534/task/4540/stat : 4540 (java) R 4532 4534 4411 0 -1 64 460 0 0 0 24 1 0 0 16 0 8 0 155896153 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153428721 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 11991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915768
[startup+2.97676 s]
/proc/loadavg: 1.61 1.90 1.90 3/100 4542
/proc/meminfo: memFree=956088/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=2.92
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12378 0 1 0 272 20 0 0 25 0 8 0 155896145 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 12115 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 17 0 8 0 155896149 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.29
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 481 0 0 0 28 1 0 0 15 0 8 0 155896153 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12115 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915768
[startup+6.27837 s]
/proc/loadavg: 1.64 1.90 1.90 3/100 4542
/proc/meminfo: memFree=956024/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=6.19
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12399 0 1 0 599 20 0 0 25 0 8 0 155896145 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073995242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 12135 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.29
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 483 0 0 0 28 1 0 0 15 0 8 0 155896153 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915768
[startup+12.7596 s]
/proc/loadavg: 1.67 1.91 1.90 3/100 4542
/proc/meminfo: memFree=955960/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=12.61
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12428 0 1 0 1240 21 0 0 25 0 8 0 155896145 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000023 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 12162 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 17 0 8 0 155896149 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.3
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 155896153 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915768
[startup+25.6399 s]
/proc/loadavg: 1.74 1.91 1.90 3/100 4542
/proc/meminfo: memFree=955832/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=25.37
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12487 0 1 0 2516 21 0 0 25 0 8 0 155896145 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 12217 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.33
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 499 0 0 0 31 2 0 0 15 0 8 0 155896153 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12217 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915768
[startup+51.2726 s]
/proc/loadavg: 1.83 1.92 1.90 3/100 4542
/proc/meminfo: memFree=955768/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=50.77
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12516 0 1 0 5055 22 0 0 25 0 8 0 155896145 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 12245 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.34
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 504 0 0 0 32 2 0 0 17 0 8 0 155896153 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915768
[startup+102.538 s]
/proc/loadavg: 1.92 1.93 1.91 3/100 4542
/proc/meminfo: memFree=955768/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=101.57
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12522 0 1 0 10135 22 0 0 25 0 8 0 155896145 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4534/statm: 228942 12251 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 505 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12251 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.57
Current children cumulated vsize (KiB) 915768
[startup+162.563 s]
/proc/loadavg: 1.97 1.94 1.91 3/100 4544
/proc/meminfo: memFree=955576/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=161.03
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12524 0 1 0 16081 22 0 0 25 0 8 0 155896145 937746432 12253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000061 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.33
Current children cumulated vsize (KiB) 915768
[startup+1482.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=984248/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1478.26
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12544 0 1 0 147793 33 0 0 25 0 8 0 155896145 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12270 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1478.26
Current children cumulated vsize (KiB) 915768
[startup+1542.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=984248/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1538.2
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12544 0 1 0 153787 33 0 0 25 0 8 0 155896145 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12270 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.2
Current children cumulated vsize (KiB) 915768
[startup+1602.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=984248/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1598.14
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12544 0 1 0 159781 33 0 0 25 0 8 0 155896145 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12270 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.14
Current children cumulated vsize (KiB) 915768
[startup+1662.82 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=964984/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1658.07
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12544 0 1 0 165774 33 0 0 25 0 8 0 155896145 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074008586 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12270 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.07
Current children cumulated vsize (KiB) 915768
[startup+1722.83 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=965048/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1718.04
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12544 0 1 0 171770 34 0 0 25 0 8 0 155896145 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12270 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.04
Current children cumulated vsize (KiB) 915768
[startup+1782.84 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=964984/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1777.99
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12547 0 1 0 177765 34 0 0 25 0 8 0 155896145 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777910 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12273 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.99
Current children cumulated vsize (KiB) 915768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.97 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4692
/proc/meminfo: memFree=964984/2055920 swapFree=4191880/4192956
[pid=4534] ppid=4532 vsize=915768 CPUtime=1800.09
/proc/4534/stat : 4534 (java) R 4532 4534 4411 0 -1 0 12547 0 1 0 179975 34 0 0 25 0 8 0 155896145 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4534/statm: 228942 12273 2533 14 0 215412 0
[pid=4534/tid=4536] ppid=4532 vsize=915768 CPUtime=0.05
/proc/4534/task/4536/stat : 4536 (java) S 4532 4534 4411 0 -1 64 484 0 0 0 5 0 0 0 16 0 8 0 155896149 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4537] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4537/stat : 4537 (java) S 4532 4534 4411 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4538] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4538/stat : 4538 (java) S 4532 4534 4411 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155896149 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4539] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4539/stat : 4539 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4540] ppid=4532 vsize=915768 CPUtime=0.35
/proc/4534/task/4540/stat : 4540 (java) S 4532 4534 4411 0 -1 64 507 0 0 0 33 2 0 0 16 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4534/tid=4541] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4541/stat : 4541 (java) S 4532 4534 4411 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4534/tid=4542] ppid=4532 vsize=915768 CPUtime=0
/proc/4534/task/4542/stat : 4542 (java) S 4532 4534 4411 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155896153 937746432 12273 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.04
CPU time (s): 1800.16
CPU user time (s): 1799.8
CPU system time (s): 0.352946
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 915768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12565
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= 37944
involuntary context switches= 33400
runsolver used 2.54561 s user time and 5.44817 s system time
The end
Begin job on node2 on Sat Jan 6 09:16:41 UTC 2007
IDJOB= 209956
IDBENCH= 4583
FILE ID= node2/209956-1168075000
PBS_JOBID= 3475784
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-100-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209956-1168075000/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-209956-1168075000 -o ROOT/results/node2/solver-209956-1168075000 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/209956-1168075000/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0eccfd6635dce0f6180185bd782d874f
RANDOM SEED= 463858899
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.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
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: 995280 kB
Buffers: 73736 kB
Cached: 709288 kB
SwapCached: 268 kB
Active: 429616 kB
Inactive: 533664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 995280 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2124 kB
Writeback: 0 kB
Mapped: 208560 kB
Slab: 81604 kB
Committed_AS: 4278868 kB
PageTables: 2660 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= 66322 MiB
End job on node2 on Sat Jan 6 09:46:50 UTC 2007