0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1084937-1215232374.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.37 => wckTime=0.129 cpuTime=0.13 mem=7M919
0.28/0.37
0.28/0.37 relations being loaded...
3.54/3.65
3.54/3.65 INFO : Contraction of relations, mem = 108M39
5.62/5.78
5.62/5.78 constraints being loaded...
8.89/9.02 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
8.89/9.02 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
8.89/9.02 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=12 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
8.89/9.02 symmetryWckTime=0.078 symmetryCpuTime=0.01
8.89/9.02 => wckTime=8.778 cpuTime=7.08 mem=182M378
9.97/10.15
9.97/10.15 solver IterativeSystematicSolver being built...
10.07/10.23
10.07/10.23 INFO : Forward propagation technique limited
10.17/10.30 => wckTime=10.056 cpuTime=7.22 mem=179M779
10.57/10.71
10.57/10.71 preprocessing
10.57/10.71 nbConstraintChecks=0 nbValidityChecks=4919969 nbPropagations=48 nbRevisions=0 nbUselessRevisions=0
10.57/10.71 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
10.57/10.71 detectedInconsistency=no
10.57/10.71 => wckTime=0.409 cpuTime=0.4 mem=179M779
11.86/12.04
11.86/12.04 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M587)
92.20/93.13
92.20/93.13 search
92.20/93.13 run=19 nbConstraintChecks=692036 nbValidityChecks=592372313 minDepth=1 maxDepth=20 nbPropagations=2295140
92.20/93.13 nbRevisions=0 nbUselessRevisions=0 nbAssignments=134027 nbFailedAssignments=62326 nbBacktracks=71511
92.20/93.13 nbVisitedNodes=231399 nbRestartNogoods=157 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=8.12
92.20/93.13 nbIEliminables=3.65 nbDEliminables=0 nbPEliminables=0
92.20/93.13 => wckTime=82.824 cpuTime=81.94 mem=184M199
92.20/93.13
92.20/93.13 global
92.20/93.13 nbConstraintChecks=692036 nbValidityChecks=597292282 nbPropagations=2295188 nbRestartNogoods=157
92.20/93.13 solvingWckTime=82.827 solvingCpuTime=81.94 expiredTime=no totalExploration=no nbFoundSolutions=1
92.20/93.13 firstSolutionCpuTime=89.16 globalCpuTime=89.21
92.20/93.13 => wckTime=92.885 cpuTime=89.16 mem=184M199
92.20/93.13
92.20/93.13 s SATISFIABLE
92.20/93.13 v 4 4 3 0 2 3 0 0 0 1 3 3 3 0 1 1 1 4 2 0
92.20/93.13 d NODES 134027
92.20/93.13 d CHECKS 692036
92.20/93.13
92.20/93.13 totalWckTime=92.943 totalCpuTime=89.22
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084937-1215232374/watcher-1084937-1215232374 -o /tmp/evaluation-result-1084937-1215232374/solver-1084937-1215232374 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1084937-1215232374.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 27825
/proc/meminfo: memFree=1515856/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=1616 CPUtime=0
/proc/27825/stat : 27825 (java) R 27823 27825 24366 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 2002213222 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 6194106 0 0 4096 0 0 0 0 17 0 0 0
/proc/27825/statm: 404 148 122 9 0 46 0
[startup+0.0833471 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 27825
/proc/meminfo: memFree=1515856/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=865856 CPUtime=0.07
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 3501 0 1 0 5 2 0 0 18 0 9 0 2002213222 886636544 2991 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216464 2991 1620 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.101339 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 27825
/proc/meminfo: memFree=1515856/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=865884 CPUtime=0.09
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 3697 0 1 0 7 2 0 0 18 0 9 0 2002213222 886665216 3166 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216471 3166 1679 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301379 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 27825
/proc/meminfo: memFree=1515856/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=866128 CPUtime=0.28
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 5776 0 1 0 25 3 0 0 18 0 9 0 2002213222 886915072 5150 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216532 5150 1946 9 0 211060 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866128
[startup+0.701465 s]
/proc/loadavg: 2.09 2.05 2.01 3/73 27825
/proc/meminfo: memFree=1515856/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=866396 CPUtime=0.68
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 10566 0 1 0 62 6 0 0 18 0 9 0 2002213222 887189504 9936 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216599 9936 1969 9 0 211127 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866396
[startup+1.50262 s]
/proc/loadavg: 2.09 2.05 2.01 3/82 27834
/proc/meminfo: memFree=1444424/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=866528 CPUtime=1.48
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 23864 0 1 0 134 14 0 0 18 0 9 0 2002213222 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216632 23232 1981 9 0 211160 0
[pid=27825/tid=27827] ppid=27823 vsize=866528 CPUtime=1.28
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 15646 0 1 0 119 9 0 0 25 0 9 0 2002213223 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4126557041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=866528 CPUtime=0.1
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 7195 0 0 0 7 3 0 0 16 0 9 0 2002213225 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 2002213225 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002213225 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002213227 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=866528 CPUtime=0.06
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 330 0 0 0 6 0 0 0 16 0 9 0 2002213227 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002213227 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002213227 887324672 23232 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866528
[startup+3.10194 s]
/proc/loadavg: 2.09 2.05 2.01 3/82 27834
/proc/meminfo: memFree=1424776/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=866528 CPUtime=3.06
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 30830 0 1 0 286 20 0 0 18 0 9 0 2002213222 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216632 30195 1981 9 0 211160 0
[pid=27825/tid=27827] ppid=27823 vsize=866528 CPUtime=2.7
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 15649 0 1 0 259 11 0 0 25 0 9 0 2002213223 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4126562558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=866528 CPUtime=0.27
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 14152 0 0 0 19 8 0 0 16 0 9 0 2002213225 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 9 0 0 0 0 0 0 0 19 0 9 0 2002213225 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002213225 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002213227 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=866528 CPUtime=0.07
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 2002213227 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002213227 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=866528 CPUtime=0
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002213227 887324672 30195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866528
[startup+6.30257 s]
/proc/loadavg: 2.25 2.08 2.02 3/82 27834
/proc/meminfo: memFree=1366088/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867068 CPUtime=6.22
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 42850 0 1 0 595 27 0 0 18 0 9 0 2002213222 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216767 40055 2608 9 0 211295 0
[pid=27825/tid=27827] ppid=27823 vsize=867068 CPUtime=4.98
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 15700 0 1 0 486 12 0 0 25 0 9 0 2002213223 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4126706350 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867068 CPUtime=1.09
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 25969 0 0 0 96 13 0 0 16 0 9 0 2002213225 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867068 CPUtime=0
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2002213225 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867068 CPUtime=0
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002213225 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867068 CPUtime=0
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002213227 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867068 CPUtime=0.12
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 485 0 0 0 12 0 0 0 16 0 9 0 2002213227 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867068 CPUtime=0
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002213227 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867068 CPUtime=0
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002213227 887877632 40055 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867068
[startup+12.7028 s]
/proc/loadavg: 2.23 2.08 2.02 3/82 27838
/proc/meminfo: memFree=1286400/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=12.55
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 107537 267 1 0 1205 48 0 2 18 0 9 0 2002213222 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59760 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=9.76
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19239 267 1 0 960 14 0 2 25 0 9 0 2002213223 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4126811162 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 17 0 9 0 2002213225 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.24
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 645 267 0 0 22 0 0 2 16 0 9 0 2002213227 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59760 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867480
[startup+25.5024 s]
/proc/loadavg: 2.17 2.07 2.02 3/82 27838
/proc/meminfo: memFree=1286400/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=25.23
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 107678 267 1 0 2473 48 0 2 18 0 9 0 2002213222 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59776 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=22.41
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19362 267 1 0 2224 15 0 2 25 0 9 0 2002213223 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4126821451 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.27
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 663 267 0 0 25 0 0 2 16 0 9 0 2002213227 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867480
[startup+51.1024 s]
/proc/loadavg: 2.11 2.07 2.01 3/82 27838
/proc/meminfo: memFree=1286400/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=50.58
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 107934 267 1 0 5008 48 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=47.76
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19617 267 1 0 4759 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126821493 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
################
# More data... #
################
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 867480
[startup+83.1027 s]
/proc/loadavg: 2.07 2.06 2.01 3/82 27838
/proc/meminfo: memFree=1286208/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=82.28
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 108238 267 1 0 8178 48 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=79.46
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19921 267 1 0 7929 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126877426 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.28
Current children cumulated vsize (KiB) 867480
[startup+89.502 s]
/proc/loadavg: 2.06 2.06 2.01 3/82 27838
/proc/meminfo: memFree=1286208/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=88.63
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 108238 267 1 0 8812 49 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=85.8
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19921 267 1 0 8563 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126821634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.63
Current children cumulated vsize (KiB) 867480
[startup+91.1023 s]
/proc/loadavg: 2.06 2.06 2.01 4/82 27838
/proc/meminfo: memFree=1286144/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=90.21
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 108238 267 1 0 8970 49 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=87.38
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19921 267 1 0 8721 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126811088 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.21
Current children cumulated vsize (KiB) 867480
[startup+91.9025 s]
/proc/loadavg: 2.06 2.06 2.01 3/82 27838
/proc/meminfo: memFree=1286144/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=91.01
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 108238 267 1 0 9050 49 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=88.18
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19921 267 1 0 8801 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126832198 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.01
Current children cumulated vsize (KiB) 867480
[startup+92.7026 s]
/proc/loadavg: 2.06 2.06 2.01 3/82 27838
/proc/meminfo: memFree=1286144/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=91.8
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 108238 267 1 0 9129 49 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=88.97
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19921 267 1 0 8880 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126832164 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.8
Current children cumulated vsize (KiB) 867480
[startup+93.1027 s]
/proc/loadavg: 2.06 2.06 2.01 3/82 27838
/proc/meminfo: memFree=1286144/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=867480 CPUtime=92.2
/proc/27825/stat : 27825 (java) S 27823 27825 24366 0 -1 0 108238 267 1 0 9169 49 0 2 18 0 9 0 2002213222 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 216870 59777 2635 9 0 211376 0
[pid=27825/tid=27827] ppid=27823 vsize=867480 CPUtime=89.37
/proc/27825/task/27827/stat : 27827 (java) R 27823 27825 24366 0 -1 64 19921 267 1 0 8920 15 0 2 25 0 9 0 2002213223 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4126821634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27828] ppid=27823 vsize=867480 CPUtime=2.53
/proc/27825/task/27828/stat : 27828 (java) S 27823 27825 24366 0 -1 64 86807 267 0 0 222 29 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27829] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27829/stat : 27829 (java) S 27823 27825 24366 0 -1 64 14 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27830] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27830/stat : 27830 (java) S 27823 27825 24366 0 -1 64 9 267 0 0 0 0 0 2 16 0 9 0 2002213225 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27831] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27831/stat : 27831 (java) S 27823 27825 24366 0 -1 64 1 267 0 0 0 0 0 2 18 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27832] ppid=27823 vsize=867480 CPUtime=0.28
/proc/27825/task/27832/stat : 27832 (java) S 27823 27825 24366 0 -1 64 664 267 0 0 26 0 0 2 16 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27833] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27833/stat : 27833 (java) S 27823 27825 24366 0 -1 64 2 267 0 0 0 0 0 2 19 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27825/tid=27834] ppid=27823 vsize=867480 CPUtime=0.02
/proc/27825/task/27834/stat : 27834 (java) S 27823 27825 24366 0 -1 64 11 267 0 0 0 0 0 2 15 0 9 0 2002213227 888299520 59777 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 92.2
Current children cumulated vsize (KiB) 867480
[startup+93.2032 s]
/proc/loadavg: 2.06 2.06 2.01 3/82 27838
/proc/meminfo: memFree=1286144/2055920 swapFree=4179472/4192956
[pid=27825] ppid=27823 vsize=0 CPUtime=92.26
/proc/27825/stat : 27825 (java) Z 27823 27825 24366 0 -1 12 108275 267 1 0 9172 52 0 2 16 0 2 0 2002213222 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27825/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 92.26
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 93.2114
CPU time (s): 92.281
CPU user time (s): 91.7221
CPU system time (s): 0.558915
CPU usage (%): 99.0018
Max. virtual memory (cumulated for all children) (KiB): 871072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.7221
system time used= 0.558915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108542
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= 3109
involuntary context switches= 5097
runsolver used 0.104984 second user time and 0.331949 second system time
The end
Begin job on node1 at 2008-07-05 06:32:56
IDJOB=1084937
IDBENCH=57589
IDSOLVER=364
FILE ID=node1/1084937-1215232374
PBS_JOBID= 7881814
Free space on /tmp= 66420 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084937-1215232374/watcher-1084937-1215232374 -o /tmp/evaluation-result-1084937-1215232374/solver-1084937-1215232374 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1084937-1215232374.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1200f5c145087e54f9d054527a898e22
RANDOM SEED=1622916820
node1.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.265
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.265
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: 1516336 kB
Buffers: 36964 kB
Cached: 272284 kB
SwapCached: 7496 kB
Active: 410532 kB
Inactive: 72524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1516336 kB
SwapTotal: 4192956 kB
SwapFree: 4179472 kB
Dirty: 24140 kB
Writeback: 0 kB
Mapped: 180272 kB
Slab: 41368 kB
Committed_AS: 3374616 kB
PageTables: 2224 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= 66416 MiB
End job on node1 at 2008-07-05 06:34:29