0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mac.xml
0.17/0.28
0.17/0.28 instance
0.17/0.28 name=HOME/instance-1056833-1215106137.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.28/0.35 => wckTime=0.1 cpuTime=0.09 mem=7M919
0.28/0.35
0.28/0.35 relations being loaded...
0.78/0.86
0.78/0.86 constraints being loaded...
1.08/1.19 nbConstraints=74 nbRelationTypes=74 nbGlobalConstraints=74 nbExtensionStructures=74
1.08/1.19 nbSharedExtensionStructures=0 nbConflictsStructures=74 nbSharedConflictsStructures=0
1.08/1.19 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=17 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
1.08/1.19 symmetryWckTime=0.044 symmetryCpuTime=0.03
1.08/1.19 => wckTime=0.945 cpuTime=0.8 mem=50M984
1.25/1.36
1.25/1.36 solver IterativeSystematicSolver being built...
1.36/1.43
1.36/1.43 INFO : Forward propagation technique limited
1.36/1.49 => wckTime=1.245 cpuTime=0.9 mem=41M55
1.46/1.55
1.46/1.55 preprocessing
1.46/1.55 nbConstraintChecks=0 nbValidityChecks=370093 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0
1.46/1.55 nbRemovedValues=0 detectedInconsistency=no
1.46/1.55 => wckTime=0.049 cpuTime=0.04 mem=42M43
2.75/2.87
2.75/2.87 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=43M32)
972.08/976.72
972.08/976.72 search
972.08/976.72 run=21 nbConstraintChecks=2902015 nbValidityChecks=10317624551 minDepth=0 maxDepth=24 nbPropagations=8657859
972.08/976.72 nbRevisions=0 nbUselessRevisions=0 nbAssignments=236999 nbFailedAssignments=140899 nbBacktracks=95975
972.08/976.72 nbVisitedNodes=443461 nbRestartNogoods=257 nbFoundSolutions=1 nbSEliminables=0.1 nbREliminables=5.37
972.08/976.72 nbIEliminables=12.92 nbDEliminables=0 nbPEliminables=0
972.08/976.72 => wckTime=975.222 cpuTime=970.53 mem=48M767
972.08/976.72
972.08/976.72 global
972.08/976.72 nbConstraintChecks=2902015 nbValidityChecks=10317994644 nbPropagations=8657883 nbRestartNogoods=257
972.08/976.72 solvingWckTime=975.227 solvingCpuTime=970.53 expiredTime=no totalExploration=no nbFoundSolutions=1
972.08/976.72 firstSolutionCpuTime=971.43 globalCpuTime=971.47
972.08/976.72 => wckTime=976.475 cpuTime=971.43 mem=48M767
972.08/976.72
972.08/976.72 s SATISFIABLE
972.08/976.72 v 5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18
972.08/976.72 d NODES 236999
972.08/976.72 d CHECKS 2902015
972.08/976.73
972.08/976.73 totalWckTime=976.541 totalCpuTime=971.47
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056833-1215106137/watcher-1056833-1215106137 -o /tmp/evaluation-result-1056833-1215106137/solver-1056833-1215106137 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1056833-1215106137.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.53 0.74 4/80 6755
/proc/meminfo: memFree=733464/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=18572 CPUtime=0
/proc/6755/stat : 6755 (runsolver) R 6753 6755 6644 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 1989586079 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 269930261799 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/6755/statm: 4643 292 257 25 0 2626 0
[startup+0.081902 s]
/proc/loadavg: 1.99 1.53 0.74 4/80 6755
/proc/meminfo: memFree=733464/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=865856 CPUtime=0.06
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 3467 0 1 0 4 2 0 0 20 0 9 0 1989586079 886636544 2958 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216464 2958 1585 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101901 s]
/proc/loadavg: 1.99 1.53 0.74 4/80 6755
/proc/meminfo: memFree=733464/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=865884 CPUtime=0.08
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 3692 0 1 0 6 2 0 0 20 0 9 0 1989586079 886665216 3167 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216471 3167 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301928 s]
/proc/loadavg: 1.99 1.53 0.74 4/80 6755
/proc/meminfo: memFree=733464/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=866284 CPUtime=0.28
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 5891 0 1 0 24 4 0 0 20 0 9 0 1989586079 887074816 5265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216571 5265 1954 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701977 s]
/proc/loadavg: 1.99 1.53 0.74 4/80 6755
/proc/meminfo: memFree=733464/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=866400 CPUtime=0.68
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 14490 0 1 0 60 8 0 0 20 0 9 0 1989586079 887193600 13860 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216600 13860 1969 9 0 211128 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866400
[startup+1.50107 s]
/proc/loadavg: 1.99 1.53 0.74 3/89 6764
/proc/meminfo: memFree=666128/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=1.46
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 35099 271 1 0 131 14 0 1 20 0 9 0 1989586079 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24228 2631 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=1.09
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 19530 271 1 0 100 8 0 1 24 0 9 0 1989586080 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4126528824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14249 271 0 0 17 4 0 1 17 0 9 0 1989586082 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.13
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 484 271 0 0 12 0 0 1 15 0 9 0 1989586084 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24228 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867268
[startup+3.10126 s]
/proc/loadavg: 1.99 1.53 0.74 5/89 6768
/proc/meminfo: memFree=646288/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=3.05
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 35331 271 1 0 289 15 0 1 20 0 9 0 1989586079 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24265 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=2.63
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 19723 271 1 0 253 9 0 1 25 0 9 0 1989586080 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 17 0 9 0 1989586082 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.19
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 521 271 0 0 18 0 0 1 15 0 9 0 1989586084 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24265 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867268
[startup+6.30263 s]
/proc/loadavg: 1.99 1.54 0.74 3/89 6768
/proc/meminfo: memFree=646032/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=6.24
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 35351 271 1 0 608 15 0 1 20 0 9 0 1989586079 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24274 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=5.8
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 19731 271 1 0 570 9 0 1 17 0 9 0 1989586080 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4126790167 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.2
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 533 271 0 0 19 0 0 1 15 0 9 0 1989586084 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24274 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867268
[startup+12.7024 s]
/proc/loadavg: 1.99 1.55 0.75 3/89 6768
/proc/meminfo: memFree=645904/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=12.61
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 35372 271 1 0 1244 16 0 1 20 0 9 0 1989586079 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24284 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=12.15
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 19740 271 1 0 1205 9 0 1 25 0 9 0 1989586080 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 545 271 0 0 21 0 0 1 15 0 9 0 1989586084 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24284 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867268
[startup+25.5019 s]
/proc/loadavg: 1.99 1.57 0.77 3/89 6768
/proc/meminfo: memFree=645840/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=25.34
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 35380 271 1 0 2517 16 0 1 20 0 9 0 1989586079 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24287 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=24.87
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 19744 271 1 0 2477 9 0 1 25 0 9 0 1989586080 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4126764999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 549 271 0 0 22 0 0 1 15 0 9 0 1989586084 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24287 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867268
[startup+51.1019 s]
/proc/loadavg: 2.06 1.62 0.81 3/89 6768
/proc/meminfo: memFree=645840/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=50.81
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 35400 271 1 0 5064 16 0 1 20 0 9 0 1989586079 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24288 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=50.34
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 19763 271 1 0 5024 9 0 1 25 0 9 0 1989586080 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 550 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24288 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
################
# More data... #
################
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36269 271 1 0 95513 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=954.88
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20631 271 1 0 95473 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 955.35
Current children cumulated vsize (KiB) 867268
[startup+966.301 s]
/proc/loadavg: 2.01 2.00 1.55 3/89 6770
/proc/meminfo: memFree=645136/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=961.72
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36276 271 1 0 96150 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=961.25
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20638 271 1 0 96110 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 961.72
Current children cumulated vsize (KiB) 867268
[startup+972.703 s]
/proc/loadavg: 2.01 2.00 1.55 3/89 6770
/proc/meminfo: memFree=645136/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=968.09
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36284 271 1 0 96787 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=967.62
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20646 271 1 0 96747 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 968.09
Current children cumulated vsize (KiB) 867268
[startup+974.302 s]
/proc/loadavg: 2.01 2.00 1.56 3/89 6770
/proc/meminfo: memFree=645136/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=969.68
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36286 271 1 0 96946 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=969.21
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20648 271 1 0 96906 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 969.68
Current children cumulated vsize (KiB) 867268
[startup+975.901 s]
/proc/loadavg: 2.01 2.00 1.56 5/89 6770
/proc/meminfo: memFree=645136/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=971.27
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36287 271 1 0 97105 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=970.8
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20649 271 1 0 97065 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 971.27
Current children cumulated vsize (KiB) 867268
[startup+976.301 s]
/proc/loadavg: 2.01 2.00 1.56 5/89 6770
/proc/meminfo: memFree=645136/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=971.67
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36288 271 1 0 97145 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=971.2
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20650 271 1 0 97105 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 971.67
Current children cumulated vsize (KiB) 867268
[startup+976.701 s]
/proc/loadavg: 2.01 2.00 1.56 3/89 6770
/proc/meminfo: memFree=645136/2055920 swapFree=4179900/4192956
[pid=6755] ppid=6753 vsize=867268 CPUtime=972.08
/proc/6755/stat : 6755 (java) S 6753 6755 6644 0 -1 0 36288 271 1 0 97186 21 0 1 20 0 9 0 1989586079 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6755/statm: 216817 24289 2634 9 0 211323 0
[pid=6755/tid=6757] ppid=6753 vsize=867268 CPUtime=971.6
/proc/6755/task/6757/stat : 6757 (java) R 6753 6755 6644 0 -1 64 20650 271 1 0 97145 14 0 1 25 0 9 0 1989586080 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4126765137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6758] ppid=6753 vsize=867268 CPUtime=0.22
/proc/6755/task/6758/stat : 6758 (java) S 6753 6755 6644 0 -1 64 14250 271 0 0 17 4 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6759] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6759/stat : 6759 (java) S 6753 6755 6644 0 -1 64 16 271 0 0 0 0 0 1 16 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6760] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6760/stat : 6760 (java) S 6753 6755 6644 0 -1 64 8 271 0 0 0 0 0 1 15 0 9 0 1989586082 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6761] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6761/stat : 6761 (java) S 6753 6755 6644 0 -1 64 0 271 0 0 0 0 0 1 24 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6762] ppid=6753 vsize=867268 CPUtime=0.23
/proc/6755/task/6762/stat : 6762 (java) S 6753 6755 6644 0 -1 64 551 271 0 0 22 0 0 1 16 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6755/tid=6763] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6763/stat : 6763 (java) S 6753 6755 6644 0 -1 64 2 271 0 0 0 0 0 1 25 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6755/tid=6764] ppid=6753 vsize=867268 CPUtime=0.01
/proc/6755/task/6764/stat : 6764 (java) S 6753 6755 6644 0 -1 64 3 271 0 0 0 0 0 1 15 0 9 0 1989586084 888082432 24289 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 972.08
Current children cumulated vsize (KiB) 867268
Child status: 0
Real time (s): 976.764
CPU time (s): 972.124
CPU user time (s): 971.881
CPU system time (s): 0.242963
CPU usage (%): 99.5249
Max. virtual memory (cumulated for all children) (KiB): 867268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 971.881
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36643
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= 21028
involuntary context switches= 12343
runsolver used 1.3188 second user time and 3.12652 second system time
The end
Begin job on node53 at 2008-07-03 19:28:57
IDJOB=1056833
IDBENCH=53975
IDSOLVER=363
FILE ID=node53/1056833-1215106137
PBS_JOBID= 7877099
Free space on /tmp= 65180 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056833-1215106137/watcher-1056833-1215106137 -o /tmp/evaluation-result-1056833-1215106137/solver-1056833-1215106137 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1056833-1215106137.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f8619328dd0d9767693064be671e81d6
RANDOM SEED=1915871858
node53.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.222
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.222
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 733880 kB
Buffers: 63264 kB
Cached: 1054372 kB
SwapCached: 7492 kB
Active: 284416 kB
Inactive: 949436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 733880 kB
SwapTotal: 4192956 kB
SwapFree: 4179900 kB
Dirty: 4848 kB
Writeback: 0 kB
Mapped: 129136 kB
Slab: 73320 kB
Committed_AS: 4597940 kB
PageTables: 1960 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= 65180 MiB
End job on node53 at 2008-07-03 19:45:14