0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1080311-1215212645.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.28/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.39 => wckTime=0.147 cpuTime=0.11 mem=7M919
0.28/0.39
0.28/0.39 relations being loaded...
0.67/0.72
0.67/0.72 constraints being loaded...
0.87/0.95 nbConstraints=57 nbRelationTypes=57 nbGlobalConstraints=57 nbExtensionStructures=57
0.87/0.95 nbSharedExtensionStructures=0 nbConflictsStructures=57 nbSharedConflictsStructures=0
0.87/0.95 nbSharedBinaryRepresentations=0 minDegree=2 maxDegree=15 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.87/0.95 symmetryWckTime=0.043 symmetryCpuTime=0.02
0.87/0.95 => wckTime=0.709 cpuTime=0.59 mem=45M386
0.96/1.07
0.96/1.07 solver IterativeSystematicSolver being built...
1.06/1.14
1.06/1.14 INFO : Forward propagation technique limited
1.18/1.20 => wckTime=0.959 cpuTime=0.71 mem=29M206
1.27/1.31
1.27/1.31 preprocessing
1.27/1.31 nbConstraintChecks=0 nbValidityChecks=1159841 nbPropagations=170 nbRevisions=0 nbUselessRevisions=0
1.27/1.31 nbSingletonTests=26 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.27/1.31 detectedInconsistency=no
1.27/1.31 => wckTime=0.11 cpuTime=0.1 mem=29M206
1.97/2.00
1.97/2.00 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M171)
549.20/549.60
549.20/549.60 search
549.20/549.60 run=22 nbConstraintChecks=4034442 nbValidityChecks=8764402716 minDepth=0 maxDepth=11 nbPropagations=10758906
549.20/549.60 nbRevisions=0 nbUselessRevisions=0 nbAssignments=304687 nbFailedAssignments=176564 nbInferredBacktracks=81
549.20/549.60 nbBacktracks=128028 nbVisitedNodes=566744 nbRestartNogoods=287 nbSEliminables=0.09 nbREliminables=4.98
549.20/549.60 nbIEliminables=10.1 nbDEliminables=0 nbPEliminables=0
549.20/549.60 => wckTime=548.392 cpuTime=548.03 mem=37M759
549.30/549.60
549.30/549.60 global
549.30/549.60 nbConstraintChecks=4034442 nbValidityChecks=8765562557 nbPropagations=10759076 nbRestartNogoods=287
549.30/549.60 solvingWckTime=548.397 solvingCpuTime=548.03 expiredTime=no totalExploration=yes nbFoundSolutions=0
549.30/549.60 globalCpuTime=548.79
549.30/549.60 => wckTime=549.357 cpuTime=548.74 mem=37M759
549.30/549.60
549.30/549.60 s UNSATISFIABLE
549.30/549.60 d NODES 304687
549.30/549.60 d CHECKS 4034442
549.30/549.60
549.30/549.60 totalWckTime=549.415 totalCpuTime=548.79
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080311-1215212645/watcher-1080311-1215212645 -o /tmp/evaluation-result-1080311-1215212645/solver-1080311-1215212645 -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-1080311-1215212645.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: 1.99 1.98 1.99 4/72 12155
/proc/meminfo: memFree=1621200/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=10616 CPUtime=0
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2000235849 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 2654 472 209 9 0 1184 0
[pid=12155/tid=12156] ppid=12153 vsize=10616 CPUtime=0
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2000235850 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 11231192 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.081699 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 12155
/proc/meminfo: memFree=1621200/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=865856 CPUtime=0.06
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 3412 0 1 0 4 2 0 0 18 0 9 0 2000235849 886636544 2917 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216464 2917 1570 9 0 211026 0
[pid=12155/tid=12156] ppid=12153 vsize=865856 CPUtime=0.05
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 2509 0 1 0 4 1 0 0 18 0 9 0 2000235850 886636544 2917 996147200 134512640 134550740 4294955968 18446744073709551615 103670827 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.102712 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 12155
/proc/meminfo: memFree=1621200/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=865884 CPUtime=0.08
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 3719 0 1 0 6 2 0 0 18 0 9 0 2000235849 886665216 3182 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216471 3182 1685 9 0 211026 0
[pid=12155/tid=12156] ppid=12153 vsize=865884 CPUtime=0.06
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 2816 0 1 0 5 1 0 0 18 0 9 0 2000235850 886665216 3182 996147200 134512640 134550740 4294955968 18446744073709551615 102719060 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301737 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 12155
/proc/meminfo: memFree=1621200/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=866196 CPUtime=0.28
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 5621 0 1 0 25 3 0 0 18 0 9 0 2000235849 886984704 5035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216549 5035 1902 9 0 211097 0
[pid=12155/tid=12156] ppid=12153 vsize=866196 CPUtime=0.23
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 4654 0 1 0 21 2 0 0 19 0 9 0 2000235850 886984704 5035 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701808 s]
/proc/loadavg: 1.99 1.98 1.99 4/72 12155
/proc/meminfo: memFree=1621200/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=866408 CPUtime=0.67
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 10554 0 1 0 62 5 0 0 18 0 9 0 2000235849 887201792 9924 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216602 9924 1968 9 0 211130 0
[pid=12155/tid=12156] ppid=12153 vsize=866408 CPUtime=0.59
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 9531 0 1 0 55 4 0 0 20 0 9 0 2000235850 887201792 9924 996147200 134512640 134550740 4294955968 18446744073709551615 104454956 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866408
[startup+1.50195 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 12168
/proc/meminfo: memFree=1569144/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867264 CPUtime=1.47
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 27300 268 1 0 135 11 0 1 18 0 9 0 2000235849 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216816 18369 2631 9 0 211322 0
[pid=12155/tid=12156] ppid=12153 vsize=867264 CPUtime=1.19
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 18804 268 1 0 111 7 0 1 18 0 9 0 2000235850 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4125977493 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867264 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 17 0 9 0 2000235852 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867264 CPUtime=0.16
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 496 268 0 0 15 0 0 1 16 0 9 0 2000235854 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888078336 18369 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867264
[startup+3.10223 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 12168
/proc/meminfo: memFree=1557760/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867264 CPUtime=3.07
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 27324 268 1 0 295 11 0 1 18 0 9 0 2000235849 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216816 18388 2631 9 0 211322 0
[pid=12155/tid=12156] ppid=12153 vsize=867264 CPUtime=2.76
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 18809 268 1 0 268 7 0 1 25 0 9 0 2000235850 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4126735229 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867264 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867264 CPUtime=0.19
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 515 268 0 0 18 0 0 1 15 0 9 0 2000235854 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867264 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888078336 18388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867264
[startup+6.30179 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 12168
/proc/meminfo: memFree=1557448/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=6.27
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 27354 268 1 0 615 11 0 1 18 0 9 0 2000235849 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18401 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=5.94
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 18826 268 1 0 585 8 0 1 25 0 9 0 2000235850 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4126746498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.22
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 528 268 0 0 21 0 0 1 15 0 9 0 2000235854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867396
[startup+12.7029 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 12168
/proc/meminfo: memFree=1557256/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=12.66
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 27384 268 1 0 1254 11 0 1 18 0 9 0 2000235849 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18405 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=12.32
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 18851 268 1 0 1223 8 0 1 25 0 9 0 2000235850 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126746337 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.22
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 21 0 0 1 16 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 867396
[startup+25.5022 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 12168
/proc/meminfo: memFree=1557192/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=25.47
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 27407 268 1 0 2534 12 0 1 18 0 9 0 2000235849 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18405 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=25.12
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 18874 268 1 0 2503 8 0 1 25 0 9 0 2000235850 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4126746498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.22
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 21 0 0 1 16 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 867396
[startup+51.1016 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 12168
/proc/meminfo: memFree=1557192/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=51.05
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 27471 268 1 0 5092 12 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=50.71
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 18938 268 1 0 5062 8 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746495 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
################
# More data... #
################
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28658 268 1 0 53705 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=536.86
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20125 268 1 0 53674 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746482 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 537.21
Current children cumulated vsize (KiB) 867396
[startup+543.902 s]
/proc/loadavg: 2.22 2.06 2.01 4/90 12399
/proc/meminfo: memFree=834808/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=543.61
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28675 268 1 0 54345 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=543.26
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20142 268 1 0 54314 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 543.61
Current children cumulated vsize (KiB) 867396
[startup+547.102 s]
/proc/loadavg: 2.20 2.06 2.01 3/90 12399
/proc/meminfo: memFree=818104/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=546.81
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28684 268 1 0 54665 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=546.46
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20151 268 1 0 54634 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746341 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 546.81
Current children cumulated vsize (KiB) 867396
[startup+548.703 s]
/proc/loadavg: 2.20 2.06 2.01 3/90 12399
/proc/meminfo: memFree=818104/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=548.4
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28689 268 1 0 54824 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=548.05
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20156 268 1 0 54793 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746576 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 548.4
Current children cumulated vsize (KiB) 867396
[startup+549.102 s]
/proc/loadavg: 2.20 2.06 2.01 3/90 12399
/proc/meminfo: memFree=824952/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=548.8
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28690 268 1 0 54864 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=548.45
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20157 268 1 0 54833 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 548.8
Current children cumulated vsize (KiB) 867396
[startup+549.502 s]
/proc/loadavg: 2.20 2.06 2.01 3/90 12399
/proc/meminfo: memFree=824952/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=549.2
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28691 268 1 0 54904 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216849 18407 2631 9 0 211355 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=548.85
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20158 268 1 0 54873 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4126746511 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 549.2
Current children cumulated vsize (KiB) 867396
[startup+549.602 s]
/proc/loadavg: 2.20 2.06 2.01 3/90 12399
/proc/meminfo: memFree=824952/2055920 swapFree=4180700/4192956
[pid=12155] ppid=12153 vsize=867396 CPUtime=549.3
/proc/12155/stat : 12155 (java) S 12153 12155 9794 0 -1 0 28695 268 1 0 54914 15 0 1 18 0 9 0 2000235849 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12155/statm: 216850 18407 2631 9 0 211356 0
[pid=12155/tid=12156] ppid=12153 vsize=867396 CPUtime=548.95
/proc/12155/task/12156/stat : 12156 (java) R 12153 12155 9794 0 -1 64 20162 268 1 0 54883 11 0 1 25 0 9 0 2000235850 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12158] ppid=12153 vsize=867396 CPUtime=0.1
/proc/12155/task/12158/stat : 12158 (java) S 12153 12155 9794 0 -1 64 7160 268 0 0 8 1 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12159] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12159/stat : 12159 (java) S 12153 12155 9794 0 -1 64 15 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12160] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12160/stat : 12160 (java) S 12153 12155 9794 0 -1 64 8 268 0 0 0 0 0 1 16 0 9 0 2000235852 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12161] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12161/stat : 12161 (java) S 12153 12155 9794 0 -1 64 0 268 0 0 0 0 0 1 18 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12162] ppid=12153 vsize=867396 CPUtime=0.23
/proc/12155/task/12162/stat : 12162 (java) S 12153 12155 9794 0 -1 64 533 268 0 0 22 0 0 1 16 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12155/tid=12163] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12163/stat : 12163 (java) S 12153 12155 9794 0 -1 64 2 268 0 0 0 0 0 1 19 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12155/tid=12164] ppid=12153 vsize=867396 CPUtime=0.01
/proc/12155/task/12164/stat : 12164 (java) S 12153 12155 9794 0 -1 64 7 268 0 0 0 0 0 1 15 0 9 0 2000235854 888213504 18407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 549.3
Current children cumulated vsize (KiB) 867396
Child status: 0
Real time (s): 549.632
CPU time (s): 549.332
CPU user time (s): 549.153
CPU system time (s): 0.179972
CPU usage (%): 99.9455
Max. virtual memory (cumulated for all children) (KiB): 867396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 549.153
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29073
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= 11939
involuntary context switches= 3176
runsolver used 0.527919 second user time and 1.9857 second system time
The end
Begin job on node61 at 2008-07-05 01:04:05
IDJOB=1080311
IDBENCH=56951
IDSOLVER=364
FILE ID=node61/1080311-1215212645
PBS_JOBID= 7881660
Free space on /tmp= 66492 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-43_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-1080311-1215212645/watcher-1080311-1215212645 -o /tmp/evaluation-result-1080311-1215212645/solver-1080311-1215212645 -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-1080311-1215212645.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7d9a415455808ca4a903201badc134cc
RANDOM SEED=1197371756
node61.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.269
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.269
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: 1621680 kB
Buffers: 58928 kB
Cached: 296032 kB
SwapCached: 6188 kB
Active: 183872 kB
Inactive: 192816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1621680 kB
SwapTotal: 4192956 kB
SwapFree: 4180700 kB
Dirty: 3208 kB
Writeback: 0 kB
Mapped: 29412 kB
Slab: 42968 kB
Committed_AS: 4036836 kB
PageTables: 1796 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66488 MiB
End job on node61 at 2008-07-05 01:13:15