0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/221831-1168080094/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=888 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.317 cpuTime=0.24 mem=13M794
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.514 cpuTime=0.36 mem=14M40
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0030 cpuTime=0.0 mem=14M40
0.89
0.89 search
0.89 run=0 nbConstraintChecks=30992 nbPropagations=418 nbRevisions=5965 nbUselessRevisions=5175 nbAssignments=24
0.89 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.054 cpuTime=0.03 mem=15M64
0.91
0.91 search
0.91 run=1 nbConstraintChecks=74348 nbPropagations=1368 nbRevisions=20922 nbUselessRevisions=18099 nbAssignments=57
0.91 nbFailedAssignments=21 nbBacktracks=27 nbVisitedNodes=99 nbRestartNogoods=3 mapSize=27 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.075 cpuTime=0.04 mem=15M64
0.93
0.93 search
0.93 run=2 nbConstraintChecks=135326 nbPropagations=3057 nbRevisions=49334 nbUselessRevisions=42622
0.93 nbAssignments=108 nbFailedAssignments=46 nbBacktracks=49 nbVisitedNodes=192 nbRestartNogoods=5 mapSize=48
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.102 cpuTime=0.07 mem=15M64
0.96
0.96 search
0.96 run=3 nbConstraintChecks=214457 nbPropagations=5729 nbRevisions=95551 nbUselessRevisions=82567
0.96 nbAssignments=176 nbFailedAssignments=75 nbBacktracks=82 nbVisitedNodes=310 nbRestartNogoods=8 mapSize=76
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.125 cpuTime=0.09 mem=15M64
0.99
0.99 search
0.99 run=4 nbConstraintChecks=362569 nbPropagations=10096 nbRevisions=174868 nbUselessRevisions=151132
0.99 nbAssignments=287 nbFailedAssignments=131 nbBacktracks=133 nbVisitedNodes=516 nbRestartNogoods=14 mapSize=127
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.157 cpuTime=0.11 mem=15M64
1.04
1.04 search
1.04 run=5 nbConstraintChecks=563281 nbPropagations=16775 nbRevisions=298089 nbUselessRevisions=257562
1.04 nbAssignments=442 nbFailedAssignments=206 nbBacktracks=209 nbVisitedNodes=799 nbRestartNogoods=17 mapSize=200
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.202 cpuTime=0.16 mem=15M64
1.10
1.10 search
1.10 run=6 nbConstraintChecks=868155 nbPropagations=26922 nbRevisions=488339 nbUselessRevisions=421982
1.10 nbAssignments=672 nbFailedAssignments=317 nbBacktracks=322 nbVisitedNodes=1226 nbRestartNogoods=20 mapSize=310
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.265 cpuTime=0.22 mem=15M64
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1329794 nbPropagations=42450 nbRevisions=783306 nbUselessRevisions=677443
1.19 nbAssignments=1022 nbFailedAssignments=491 nbBacktracks=492 nbVisitedNodes=1883 nbRestartNogoods=25
1.19 mapSize=478 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.362 cpuTime=0.3 mem=15M64
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1998583 nbPropagations=65492 nbRevisions=1226960 nbUselessRevisions=1061338
1.34 nbAssignments=1542 nbFailedAssignments=749 nbBacktracks=750 nbVisitedNodes=2845 nbRestartNogoods=35
1.34 mapSize=728 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.508 cpuTime=0.43 mem=15M64
1.48
1.48 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M64)
1.52
1.52 search
1.52 run=9 nbConstraintChecks=2970408 nbPropagations=99698 nbRevisions=1890774 nbUselessRevisions=1636318
1.52 nbAssignments=2303 nbFailedAssignments=1119 nbBacktracks=1134 nbVisitedNodes=4259 nbRestartNogoods=44
1.52 => wckTime=0.688 cpuTime=0.6 mem=15M64
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4548351 nbPropagations=151294 nbRevisions=2904009 nbUselessRevisions=2514099
1.79 nbAssignments=3455 nbFailedAssignments=1690 nbBacktracks=1710 nbVisitedNodes=6404 nbRestartNogoods=50
1.79 => wckTime=0.953 cpuTime=0.86 mem=15M64
2.14
2.14 search
2.14 run=11 nbConstraintChecks=6826090 nbPropagations=228752 nbRevisions=4429935 nbUselessRevisions=3836232
2.14 nbAssignments=5179 nbFailedAssignments=2545 nbBacktracks=2575 nbVisitedNodes=9633 nbRestartNogoods=62
2.14 => wckTime=1.311 cpuTime=1.21 mem=15M64
2.68
2.68 search
2.68 run=12 nbConstraintChecks=10357014 nbPropagations=345458 nbRevisions=6737736 nbUselessRevisions=5835955
2.68 nbAssignments=7770 nbFailedAssignments=3833 nbBacktracks=3872 nbVisitedNodes=14454 nbRestartNogoods=70
2.68 => wckTime=1.851 cpuTime=1.75 mem=15M64
3.47
3.47 search
3.47 run=13 nbConstraintChecks=15487840 nbPropagations=519913 nbRevisions=10195729 nbUselessRevisions=8832928
3.47 nbAssignments=11582 nbFailedAssignments=5694 nbBacktracks=5818 nbVisitedNodes=21576 nbRestartNogoods=85
3.47 => wckTime=2.643 cpuTime=2.53 mem=15M64
4.67
4.68 search
4.68 run=14 nbConstraintChecks=23356991 nbPropagations=782030 nbRevisions=15409395 nbUselessRevisions=13352044
4.68 nbAssignments=17342 nbFailedAssignments=8529 nbBacktracks=8738 nbVisitedNodes=32328 nbRestartNogoods=98
4.68 => wckTime=3.844 cpuTime=3.72 mem=15M64
6.50
6.50 search
6.50 run=15 nbConstraintChecks=35322657 nbPropagations=1176644 nbRevisions=23291980 nbUselessRevisions=20186304
6.50 nbAssignments=26087 nbFailedAssignments=12891 nbBacktracks=13117 nbVisitedNodes=48719 nbRestartNogoods=110
6.50 => wckTime=5.664 cpuTime=5.53 mem=15M64
9.19
9.19 search
9.19 run=16 nbConstraintChecks=52896759 nbPropagations=1768412 nbRevisions=35120409 nbUselessRevisions=30445656
9.19 nbAssignments=39110 nbFailedAssignments=19341 nbBacktracks=19685 nbVisitedNodes=73108 nbRestartNogoods=127
9.19 => wckTime=8.355 cpuTime=8.19 mem=15M64
13.23
13.23 search
13.23 run=17 nbConstraintChecks=79649051 nbPropagations=2657525 nbRevisions=52918526 nbUselessRevisions=45881619
13.23 nbAssignments=58825 nbFailedAssignments=29198 nbBacktracks=29537 nbVisitedNodes=109939 nbRestartNogoods=142
13.23 => wckTime=12.4 cpuTime=12.2 mem=15M64
19.46
19.46 search
19.46 run=18 nbConstraintChecks=120999435 nbPropagations=4000761 nbRevisions=79905232 nbUselessRevisions=69291360
19.46 nbAssignments=88478 nbFailedAssignments=44068 nbBacktracks=44318 nbVisitedNodes=165482 nbRestartNogoods=156
19.46 => wckTime=18.632 cpuTime=18.37 mem=15M64
28.74
28.74 search
28.74 run=19 nbConstraintChecks=182003194 nbPropagations=6018136 nbRevisions=120490473 nbUselessRevisions=104505303
28.74 nbAssignments=132810 nbFailedAssignments=66227 nbBacktracks=66486 nbVisitedNodes=248443 nbRestartNogoods=174
28.74 => wckTime=27.907 cpuTime=27.56 mem=15M64
42.54
42.54 search
42.54 run=20 nbConstraintChecks=273191937 nbPropagations=9040848 nbRevisions=181408339 nbUselessRevisions=157371993
42.54 nbAssignments=199165 nbFailedAssignments=99327 nbBacktracks=99738 nbVisitedNodes=372525 nbRestartNogoods=195
42.54 => wckTime=41.712 cpuTime=41.24 mem=15M64
63.14
63.14 search
63.14 run=21 nbConstraintChecks=409550339 nbPropagations=13562241 nbRevisions=272606018 nbUselessRevisions=236532241
63.14 nbAssignments=297663 nbFailedAssignments=147941 nbBacktracks=149617 nbVisitedNodes=556537 nbRestartNogoods=204
63.14 => wckTime=62.31 cpuTime=61.64 mem=15M64
94.49
94.49 search
94.49 run=22 nbConstraintChecks=617602071 nbPropagations=20358919 nbRevisions=409963379 nbUselessRevisions=355774561
94.49 nbAssignments=446784 nbFailedAssignments=222240 nbBacktracks=224435 nbVisitedNodes=835670 nbRestartNogoods=224
94.49 => wckTime=93.655 cpuTime=92.71 mem=15M64
142.09
142.09 search
142.09 run=23 nbConstraintChecks=935565538 nbPropagations=30596364 nbRevisions=617512374 nbUselessRevisions=535981179
142.09 nbAssignments=671201 nbFailedAssignments=334424 nbBacktracks=336663 nbVisitedNodes=1255673 nbRestartNogoods=240
142.09 => wckTime=141.256 cpuTime=139.88 mem=15M64
214.59
214.59 search
214.59 run=24 nbConstraintChecks=1422518370 nbPropagations=46049438 nbRevisions=932239159 nbUselessRevisions=809301957
214.59 nbAssignments=1009486 nbFailedAssignments=504364 nbBacktracks=505004 nbVisitedNodes=1889270
214.59 nbRestartNogoods=256
214.59 => wckTime=213.759 cpuTime=211.73 mem=15M64
247.57
247.57 search
247.57 run=25 nbConstraintChecks=1644791796 nbPropagations=63861114 nbRevisions=1295758798
247.57 nbUselessRevisions=1125029856 nbAssignments=1161685 nbFailedAssignments=580957 nbBacktracks=580611
247.57 nbVisitedNodes=2174372 nbRestartNogoods=271
247.57 => wckTime=246.742 cpuTime=244.4 mem=15M64
247.58
247.58 global
247.58 nbConstraintChecks=1644791796 nbPropagations=63861138 nbRevisions=1295758798 nbUselessRevisions=1125029856
247.58 nbRestartNogoods=271 solvingWckTime=246.744 solvingCpuTime=244.41 expiredTime=no totalExploration=yes
247.58 nbFoundSolutions=0 globalCpuTime=244.82
247.58 => wckTime=247.261 cpuTime=244.77 mem=15M64
247.58
247.58 s UNSATISFIABLE
247.58 d NODES 1161685
247.58 d CHECKS 1644791796
247.58
247.58 totalWckTime=247.343 totalCpuTime=244.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-221831-1168080094 -o ROOT/results/node17/solver-221831-1168080094 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221831-1168080094/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.94 1.95 1.91 4/93 14125
/proc/meminfo: memFree=1481832/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=906644 CPUtime=0.02
/proc/14124/stat : 14124 (java) S 14122 14124 13833 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156404164 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 226661 1818 1036 14 0 214244 0
[pid=14124/tid=14126] ppid=14122 vsize=906644 CPUtime=0
/proc/14124/task/14126/stat : 14126 (java) R 14122 14124 13833 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156404168 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.102676 s]
/proc/loadavg: 1.94 1.95 1.91 4/93 14125
/proc/meminfo: memFree=1481832/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916012 CPUtime=0.09
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 2980 0 1 0 7 2 0 0 17 0 8 0 156404164 937996288 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229003 2726 1423 14 0 215498 0
[pid=14124/tid=14126] ppid=14122 vsize=916012 CPUtime=0
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156404168 937996288 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012
[startup+0.510717 s]
/proc/loadavg: 1.94 1.95 1.91 4/93 14125
/proc/meminfo: memFree=1481832/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916352 CPUtime=0.49
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 6912 0 1 0 45 4 0 0 18 0 8 0 156404164 938344448 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229088 6651 2137 14 0 215558 0
[pid=14124/tid=14126] ppid=14122 vsize=916352 CPUtime=0
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156404168 938344448 6651 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
[startup+1.3338 s]
/proc/loadavg: 1.94 1.95 1.91 4/100 14132
/proc/meminfo: memFree=1458288/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=1.3
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8606 0 1 0 123 7 0 0 24 0 8 0 156404164 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8344 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.22
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 379 0 0 0 22 0 0 0 15 0 8 0 156404172 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8344 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) 916476
[startup+2.98697 s]
/proc/loadavg: 1.94 1.95 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=2.94
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8639 0 1 0 287 7 0 0 25 0 8 0 156404164 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8375 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 389 0 0 0 24 0 0 0 15 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8375 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916476
[startup+6.27031 s]
/proc/loadavg: 1.95 1.95 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=6.19
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8646 0 1 0 612 7 0 0 25 0 8 0 156404164 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8382 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8382 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) 916476
[startup+12.758 s]
/proc/loadavg: 1.95 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457840/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=12.62
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8652 0 1 0 1255 7 0 0 25 0 8 0 156404164 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8387 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8387 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 916476
[startup+25.5943 s]
/proc/loadavg: 1.96 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457968/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=25.34
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8657 0 1 0 2527 7 0 0 25 0 8 0 156404164 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8392 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 916476
[startup+51.201 s]
/proc/loadavg: 1.97 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=50.72
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8662 0 1 0 5064 8 0 0 25 0 8 0 156404164 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8397 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8397 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 916476
[startup+102.407 s]
/proc/loadavg: 1.99 1.96 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=101.45
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8667 0 1 0 10137 8 0 0 25 0 8 0 156404164 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8402 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 916476
[startup+162.458 s]
/proc/loadavg: 1.99 1.97 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=160.95
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8669 0 1 0 16087 8 0 0 25 0 8 0 156404164 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8404 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 916476
[startup+222.507 s]
/proc/loadavg: 1.99 1.97 1.91 3/100 14132
/proc/meminfo: memFree=1457904/2055920 swapFree=4192812/4192956
[pid=14124] ppid=14122 vsize=916476 CPUtime=220.46
/proc/14124/stat : 14124 (java) R 14122 14124 13833 0 -1 0 8672 0 1 0 22037 9 0 0 25 0 8 0 156404164 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14124/statm: 229119 8407 2513 14 0 215589 0
[pid=14124/tid=14126] ppid=14122 vsize=916476 CPUtime=0.03
/proc/14124/task/14126/stat : 14126 (java) S 14122 14124 13833 0 -1 64 305 0 0 0 3 0 0 0 16 0 8 0 156404168 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14127] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14127/stat : 14127 (java) S 14122 14124 13833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156404168 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14128] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14128/stat : 14128 (java) S 14122 14124 13833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156404168 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14129] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14129/stat : 14129 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14130] ppid=14122 vsize=916476 CPUtime=0.24
/proc/14124/task/14130/stat : 14130 (java) S 14122 14124 13833 0 -1 64 391 0 0 0 24 0 0 0 16 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14131] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14131/stat : 14131 (java) S 14122 14124 13833 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14124/tid=14132] ppid=14122 vsize=916476 CPUtime=0
/proc/14124/task/14132/stat : 14132 (java) S 14122 14124 13833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156404172 938471424 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 916476
Child status: 0
Real time (s): 247.633
CPU time (s): 245.325
CPU user time (s): 245.224
CPU system time (s): 0.100984
CPU usage (%): 99.0678
Max. virtual memory (cumulated for all children) (KiB): 916476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.224
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8763
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= 6100
involuntary context switches= 14417
runsolver used 0.341948 s user time and 0.767883 s system time
The end
Begin job on node17 on Sat Jan 6 10:41:34 UTC 2007
IDJOB= 221831
IDBENCH= 5469
FILE ID= node17/221831-1168080094
PBS_JOBID= 3475841
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221831-1168080094/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-221831-1168080094 -o ROOT/results/node17/solver-221831-1168080094 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221831-1168080094/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 656731a78971893f85baaac0920e1a7e
RANDOM SEED= 352298434
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.236
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.236
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: 1482312 kB
Buffers: 46984 kB
Cached: 248952 kB
SwapCached: 0 kB
Active: 273728 kB
Inactive: 210468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1482312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1904 kB
Writeback: 0 kB
Mapped: 217288 kB
Slab: 73944 kB
Committed_AS: 4609400 kB
PageTables: 2544 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= 66314 MiB
End job on node17 on Sat Jan 6 10:45:41 UTC 2007