0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/218154-1168079549/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.37 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.37 => wckTime=0.088 cpuTime=0.09 mem=6M951
0.37
0.37 relations being loaded...
0.61
0.61 constraints being loaded...
0.76 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=3
0.76 => wckTime=0.475 cpuTime=0.44 mem=41M364
0.83
0.83 solver IterativeSystematicSolver being built...
0.98 => wckTime=0.698 cpuTime=0.56 mem=21M369
0.99
0.99 preprocessing
0.99 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.99 detectedInconsistency=no
0.99 => wckTime=0.0020 cpuTime=0.0 mem=21M369
1.07
1.07 search
1.07 run=0 nbConstraintChecks=21213 nbValidityChecks=37701 nbPropagations=277 nbRevisions=2782
1.07 nbUselessRevisions=2159 nbAssignments=28 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=48
1.07 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.086 cpuTime=0.06 mem=21M369
1.13
1.13 search
1.13 run=1 nbConstraintChecks=58466 nbValidityChecks=113326 nbPropagations=1075 nbRevisions=11628
1.13 nbUselessRevisions=9052 nbAssignments=78 nbFailedAssignments=43 nbBacktracks=26 nbVisitedNodes=140
1.13 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.143 cpuTime=0.11 mem=21M369
1.24
1.24 search
1.24 run=2 nbConstraintChecks=136428 nbValidityChecks=269805 nbPropagations=2898 nbRevisions=31914
1.24 nbUselessRevisions=24699 nbAssignments=162 nbFailedAssignments=101 nbBacktracks=49 nbVisitedNodes=300
1.24 nbRestartNogoods=4 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.254 cpuTime=0.21 mem=21M369
1.32
1.32 search
1.32 run=3 nbConstraintChecks=199859 nbValidityChecks=392933 nbPropagations=5606 nbRevisions=61385
1.32 nbUselessRevisions=47595 nbAssignments=254 nbFailedAssignments=155 nbBacktracks=82 nbVisitedNodes=466
1.32 nbRestartNogoods=6 mapSize=71 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.336 cpuTime=0.29 mem=21M369
1.45
1.45 search
1.45 run=4 nbConstraintChecks=301385 nbValidityChecks=596064 nbPropagations=9730 nbRevisions=105840
1.45 nbUselessRevisions=82040 nbAssignments=381 nbFailedAssignments=227 nbBacktracks=132 nbVisitedNodes=696
1.45 nbRestartNogoods=15 mapSize=109 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.466 cpuTime=0.41 mem=21M369
1.65
1.65 search
1.65 run=5 nbConstraintChecks=468315 nbValidityChecks=921099 nbPropagations=16117 nbRevisions=176089
1.65 nbUselessRevisions=136613 nbAssignments=554 nbFailedAssignments=321 nbBacktracks=208 nbVisitedNodes=1019
1.65 nbRestartNogoods=24 mapSize=180 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.668 cpuTime=0.61 mem=21M369
1.90
1.90 search
1.90 run=6 nbConstraintChecks=685231 nbValidityChecks=1368428 nbPropagations=25714 nbRevisions=280746
1.90 nbUselessRevisions=217648 nbAssignments=847 nbFailedAssignments=496 nbBacktracks=322 nbVisitedNodes=1567
1.90 nbRestartNogoods=29 mapSize=282 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.919 cpuTime=0.86 mem=21M369
2.31
2.31 search
2.31 run=7 nbConstraintChecks=1023593 nbValidityChecks=2058785 nbPropagations=40671 nbRevisions=444643
2.31 nbUselessRevisions=344855 nbAssignments=1273 nbFailedAssignments=747 nbBacktracks=493 nbVisitedNodes=2370
2.31 nbRestartNogoods=35 mapSize=447 nbInferences=0 nbTooLargeKeys=0
2.31 => wckTime=1.322 cpuTime=1.25 mem=21M369
2.99
2.99 search
2.99 run=8 nbConstraintChecks=1616070 nbValidityChecks=3268661 nbPropagations=63340 nbRevisions=696227
2.99 nbUselessRevisions=540493 nbAssignments=1959 nbFailedAssignments=1173 nbBacktracks=749 nbVisitedNodes=3679
2.99 nbRestartNogoods=47 mapSize=697 nbInferences=0 nbTooLargeKeys=0
2.99 => wckTime=2.01 cpuTime=1.92 mem=21M369
3.93
3.93 search
3.93 run=9 nbConstraintChecks=2402588 nbValidityChecks=4789300 nbPropagations=96602 nbRevisions=1058772
3.93 nbUselessRevisions=822017 nbAssignments=2883 nbFailedAssignments=1708 nbBacktracks=1133 nbVisitedNodes=5387
3.93 nbRestartNogoods=57 mapSize=1026 nbInferences=0 nbTooLargeKeys=0
3.93 => wckTime=2.943 cpuTime=2.85 mem=21M369
3.99
3.99 INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=21M369)
5.18
5.18 search
5.18 run=10 nbConstraintChecks=3451352 nbValidityChecks=6866056 nbPropagations=145403 nbRevisions=1585356
5.18 nbUselessRevisions=1230970 nbAssignments=4250 nbFailedAssignments=2494 nbBacktracks=1709 nbVisitedNodes=7900
5.18 nbRestartNogoods=69
5.18 => wckTime=4.191 cpuTime=4.09 mem=21M369
7.53
7.53 search
7.53 run=11 nbConstraintChecks=5539905 nbValidityChecks=11107268 nbPropagations=221504 nbRevisions=2426628
7.53 nbUselessRevisions=1885248 nbAssignments=6671 nbFailedAssignments=4047 nbBacktracks=2573 nbVisitedNodes=12486
7.53 nbRestartNogoods=72
7.53 => wckTime=6.549 cpuTime=6.45 mem=21M369
10.44
10.44 search
10.44 run=12 nbConstraintChecks=8049296 nbValidityChecks=16244815 nbPropagations=333744 nbRevisions=3667353
10.44 nbUselessRevisions=2850207 nbAssignments=10196 nbFailedAssignments=6272 nbBacktracks=3870 nbVisitedNodes=19144
10.44 nbRestartNogoods=90
10.44 => wckTime=9.452 cpuTime=9.35 mem=21M369
14.78
14.78 search
14.78 run=13 nbConstraintChecks=11748360 nbValidityChecks=23587831 nbPropagations=502373 nbRevisions=5501715
14.78 nbUselessRevisions=4274826 nbAssignments=15023 nbFailedAssignments=9148 nbBacktracks=5816 nbVisitedNodes=28210
14.78 nbRestartNogoods=96
14.78 => wckTime=13.794 cpuTime=13.69 mem=21M369
21.96
21.96 search
21.96 run=14 nbConstraintChecks=18019134 nbValidityChecks=36557904 nbPropagations=760187 nbRevisions=8342826
21.96 nbUselessRevisions=6484044 nbAssignments=22837 nbFailedAssignments=14040 nbBacktracks=8737 nbVisitedNodes=42966
21.96 nbRestartNogoods=113
21.96 => wckTime=20.971 cpuTime=20.86 mem=21M369
32.62
32.62 search
32.62 run=15 nbConstraintChecks=27278423 nbValidityChecks=55051189 nbPropagations=1144906 nbRevisions=12559200
32.62 nbUselessRevisions=9760463 nbAssignments=33958 nbFailedAssignments=20778 nbBacktracks=13115
32.62 nbVisitedNodes=63838 nbRestartNogoods=120
32.62 => wckTime=31.634 cpuTime=31.52 mem=21M369
48.66
48.66 search
48.66 run=16 nbConstraintChecks=41095202 nbValidityChecks=82301686 nbPropagations=1719696 nbRevisions=18828814
48.66 nbUselessRevisions=14629384 nbAssignments=50707 nbFailedAssignments=30955 nbBacktracks=19683
48.66 nbVisitedNodes=95229 nbRestartNogoods=145
48.66 => wckTime=47.673 cpuTime=47.56 mem=21M369
73.50
73.50 search
73.50 run=17 nbConstraintChecks=63044059 nbValidityChecks=127187112 nbPropagations=2591231 nbRevisions=28463719
73.50 nbUselessRevisions=22119468 nbAssignments=76679 nbFailedAssignments=47071 nbBacktracks=29535
73.50 nbVisitedNodes=144429 nbRestartNogoods=156
73.50 => wckTime=72.515 cpuTime=72.39 mem=21M369
113.95
113.95 search
113.95 run=18 nbConstraintChecks=98244843 nbValidityChecks=197086783 nbPropagations=3928516 nbRevisions=43302759
113.95 nbUselessRevisions=33654343 nbAssignments=114295 nbFailedAssignments=69906 nbBacktracks=44314
113.95 nbVisitedNodes=215465 nbRestartNogoods=173
113.95 => wckTime=112.961 cpuTime=112.83 mem=21M369
176.56
176.56 search
176.56 run=19 nbConstraintChecks=151840786 nbValidityChecks=306339827 nbPropagations=6013515 nbRevisions=66282143
176.56 nbUselessRevisions=51453331 nbAssignments=174790 nbFailedAssignments=108228 nbBacktracks=66483
176.56 nbVisitedNodes=330387 nbRestartNogoods=194
176.56 => wckTime=175.575 cpuTime=175.42 mem=21M369
254.12
254.12 search
254.12 run=20 nbConstraintChecks=217749107 nbValidityChecks=440829702 nbPropagations=9077373 nbRevisions=99904730
254.12 nbUselessRevisions=77530388 nbAssignments=257387 nbFailedAssignments=157569 nbBacktracks=99736
254.12 nbVisitedNodes=484614 nbRestartNogoods=211
254.12 => wckTime=253.139 cpuTime=252.96 mem=21M369
320.57
320.57 search
320.57 run=21 nbConstraintChecks=274767590 nbValidityChecks=559428114 nbPropagations=12986575 nbRevisions=142857948
320.57 nbUselessRevisions=110896438 nbAssignments=331441 nbFailedAssignments=202470 nbBacktracks=128869
320.57 nbVisitedNodes=622131 nbRestartNogoods=222
320.57 => wckTime=319.587 cpuTime=319.39 mem=21M369
320.57
320.57 global
320.57 nbConstraintChecks=274767590 nbValidityChecks=559428114 nbPropagations=12986595 nbRevisions=142857948
320.57 nbUselessRevisions=110896438 nbRestartNogoods=222 solvingWckTime=319.588 solvingCpuTime=319.4 expiredTime=no
320.57 totalExploration=no nbFoundSolutions=1 globalCpuTime=320.0
320.57 => wckTime=320.289 cpuTime=319.96 mem=21M369
320.58
320.58 s SATISFIABLE
320.58 v 1 5 13 17 0 18 6 8 15 11 18 3 11 7 14 13 11 6 7 14
320.58 d NODES 331441
320.58 d CHECKS 274767590
320.58
320.58 totalWckTime=320.363 totalCpuTime=320.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-218154-1168079549 -o ROOT/results/node56/solver-218154-1168079549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218154-1168079549/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.86 0.97 0.99 3/65 5524
/proc/meminfo: memFree=1665784/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=172 CPUtime=0
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 217 0 0 0 0 0 0 0 19 0 1 0 156353162 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 0 4096 0 0 0 0 17 1 0 0
/proc/5523/statm: 55 28 22 14 0 3 0
[startup+0.10786 s]
/proc/loadavg: 0.86 0.97 0.99 3/65 5524
/proc/meminfo: memFree=1665784/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=915724 CPUtime=0.09
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 3124 0 1 0 8 1 0 0 17 0 8 0 156353162 937701376 2870 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 228931 2870 1472 14 0 215426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 915724
[startup+0.518899 s]
/proc/loadavg: 0.86 0.97 0.99 3/65 5524
/proc/meminfo: memFree=1665784/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=915956 CPUtime=0.5
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 8651 0 1 0 46 4 0 0 17 0 8 0 156353162 937938944 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 228989 8390 2137 14 0 215459 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915956
[startup+1.34698 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609344/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916056 CPUtime=1.34
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16799 0 1 0 124 10 0 0 17 0 8 0 156353162 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 229014 16536 2517 14 0 215484 0
[pid=5523/tid=5525] ppid=5521 vsize=916056 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916056 CPUtime=0.17
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 364 0 0 0 16 1 0 0 16 0 8 0 156353169 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938041344 16536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 916056
[startup+2.98514 s]
/proc/loadavg: 0.86 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916056 CPUtime=2.97
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16814 0 1 0 287 10 0 0 16 0 8 0 156353162 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5523/statm: 229014 16550 2517 14 0 215484 0
[pid=5523/tid=5525] ppid=5521 vsize=916056 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916056 CPUtime=0.19
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 378 0 0 0 18 1 0 0 16 0 8 0 156353169 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916056 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938041344 16550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 916056
[startup+6.26245 s]
/proc/loadavg: 0.87 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609152/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=6.24
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16826 0 1 0 613 11 0 0 21 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.2
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916188
[startup+12.7421 s]
/proc/loadavg: 0.88 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609152/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=12.72
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 1261 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916188
[startup+25.5783 s]
/proc/loadavg: 0.90 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609216/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=25.55
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 2544 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916188
[startup+51.2598 s]
/proc/loadavg: 0.94 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=51.23
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 5112 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 916188
[startup+102.508 s]
/proc/loadavg: 0.97 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=102.46
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 10235 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 916188
[startup+162.591 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=162.52
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 16241 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.52
Current children cumulated vsize (KiB) 916188
[startup+222.675 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609280/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=222.59
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 22248 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.59
Current children cumulated vsize (KiB) 916188
[startup+282.754 s]
/proc/loadavg: 0.99 0.97 0.99 2/72 5531
/proc/meminfo: memFree=1609216/2055920 swapFree=4184772/4192956
[pid=5523] ppid=5521 vsize=916188 CPUtime=282.65
/proc/5523/stat : 5523 (java) R 5521 5523 4910 0 -1 0 16827 0 1 0 28254 11 0 0 25 0 8 0 156353162 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5523/statm: 229047 16560 2517 14 0 215517 0
[pid=5523/tid=5525] ppid=5521 vsize=916188 CPUtime=0.06
/proc/5523/task/5525/stat : 5525 (java) S 5521 5523 4910 0 -1 64 1746 0 0 0 5 1 0 0 16 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5526] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5526/stat : 5526 (java) S 5521 5523 4910 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156353165 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5527] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5527/stat : 5527 (java) S 5521 5523 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156353166 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5528] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5528/stat : 5528 (java) S 5521 5523 4910 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156353168 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5529] ppid=5521 vsize=916188 CPUtime=0.21
/proc/5523/task/5529/stat : 5529 (java) S 5521 5523 4910 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5523/tid=5530] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5530/stat : 5530 (java) S 5521 5523 4910 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5523/tid=5531] ppid=5521 vsize=916188 CPUtime=0
/proc/5523/task/5531/stat : 5531 (java) S 5521 5523 4910 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156353169 938176512 16560 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.65
Current children cumulated vsize (KiB) 916188
Child status: 0
Real time (s): 320.606
CPU time (s): 320.492
CPU user time (s): 320.36
CPU system time (s): 0.131979
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 916188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.36
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16832
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= 7270
involuntary context switches= 7031
runsolver used 0.310952 s user time and 0.837872 s system time
The end
Begin job on node56 on Sat Jan 6 10:32:30 UTC 2007
IDJOB= 218154
IDBENCH= 5206
FILE ID= node56/218154-1168079549
PBS_JOBID= 3476072
Free space on /tmp= 66520 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218154-1168079549/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-218154-1168079549 -o ROOT/results/node56/solver-218154-1168079549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218154-1168079549/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ab6c75a4330ebc652c45903e8fdc50be
RANDOM SEED= 200814551
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.232
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.232
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: 1666264 kB
Buffers: 29208 kB
Cached: 284184 kB
SwapCached: 2060 kB
Active: 53268 kB
Inactive: 269812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1666264 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 3004 kB
Writeback: 0 kB
Mapped: 16580 kB
Slab: 52592 kB
Committed_AS: 2661920 kB
PageTables: 1472 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= 66520 MiB
End job on node56 on Sat Jan 6 10:37:51 UTC 2007