0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2095914-1247409408.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.28/0.37 nbVariables=169 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=338
0.28/0.37 => wckTime=0.118 cpuTime=0.11 mem=7M892
0.28/0.37
0.28/0.37 constraints being loaded...
0.48/0.56 nbConstraints=101 nbGlobalConstraints=101 nbSharedBinaryRepresentations=0 minDegree=7 maxDegree=9 minArity=2
0.48/0.56 avgArity=11.93 maxArity=169 nbGenerators=0 nbFusions=0 symmetryWckTime=0.078 symmetryCpuTime=0.05
0.48/0.56 => wckTime=0.307 cpuTime=0.21 mem=12M785
0.56/0.61
0.56/0.61 solver IterativeSystematicSolver being built...
0.56/0.68
0.56/0.68 INFO : Forward propagation technique limited
0.67/0.76 => wckTime=0.507 cpuTime=0.33 mem=20M666
0.67/0.79
0.67/0.79 preprocessing
0.67/0.79 nbConstraintChecks=0 nbPropagations=359 nbRevisions=0 nbUselessRevisions=0 nbSingletonTests=182
0.67/0.79 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.67/0.79 => wckTime=0.029 cpuTime=0.01 mem=20M666
0.76/0.88
0.76/0.88 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M674)
1034.25/1041.23
1034.25/1041.23 search
1034.25/1041.23 run=28 nbConstraintChecks=217741997 minDepth=9 maxDepth=169 nbPropagations=190923993 nbRevisions=0
1034.25/1041.23 nbUselessRevisions=0 nbAssignments=32593965 nbFailedAssignments=2166031 nbBacktracks=30425005
1034.25/1041.23 nbVisitedNodes=62635431 nbRestartNogoods=120 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=101.09
1034.25/1041.23 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
1034.25/1041.23 => wckTime=1040.469 cpuTime=1033.39 mem=22M649
1034.25/1041.23
1034.25/1041.23 global
1034.25/1041.23 nbConstraintChecks=217741997 nbPropagations=190924352 nbRestartNogoods=120 solvingWckTime=1040.471
1034.25/1041.23 solvingCpuTime=1033.39 expiredTime=no totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1033.72
1034.25/1041.23 globalCpuTime=1033.75
1034.25/1041.23 => wckTime=1040.979 cpuTime=1033.72 mem=22M649
1034.25/1041.23
1034.25/1041.23 s SATISFIABLE
1034.25/1041.23 v 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1034.25/1041.23 d NODES 32593965
1034.25/1041.23 d CHECKS 217741997
1034.25/1041.23
1034.25/1041.23 totalWckTime=1041.048 totalCpuTime=1033.75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095914-1247409408/watcher-2095914-1247409408 -o /tmp/evaluation-result-2095914-1247409408/solver-2095914-1247409408 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095914-1247409408.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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.04 2.04 3/80 31717
/proc/meminfo: memFree=1609604/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=18576 CPUtime=0
/proc/31717/stat : 31717 (runsolver) R 31715 31717 29965 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28005480 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 256364834087 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31717/statm: 4644 284 249 26 0 2626 0
[startup+0.050697 s]
/proc/loadavg: 2.12 2.04 2.04 3/80 31717
/proc/meminfo: memFree=1609604/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=861936 CPUtime=0.03
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 2385 0 1 0 2 1 0 0 18 0 5 0 28005480 882622464 1965 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 215484 1966 902 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.103963 s]
/proc/loadavg: 2.12 2.04 2.04 3/80 31717
/proc/meminfo: memFree=1609604/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=865984 CPUtime=0.09
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 3740 0 1 0 7 2 0 0 18 0 9 0 28005480 886767616 3208 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 216496 3208 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301978 s]
/proc/loadavg: 2.12 2.04 2.04 3/80 31717
/proc/meminfo: memFree=1609604/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=866380 CPUtime=0.28
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 5946 0 1 0 23 5 0 0 18 0 9 0 28005480 887173120 5312 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 216595 5312 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.702019 s]
/proc/loadavg: 2.12 2.04 2.04 3/80 31717
/proc/meminfo: memFree=1609604/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=0.67
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 12863 183 1 0 60 7 0 0 18 0 10 0 28005480 889987072 8301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 8301 2653 9 0 211718 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 869128
[startup+1.5021 s]
/proc/loadavg: 2.12 2.04 2.04 3/89 31730
/proc/meminfo: memFree=1576252/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1.46
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15545 307 1 0 138 8 0 0 18 0 9 0 28005480 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10885 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1.17
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11581 307 1 0 110 7 0 0 23 0 9 0 28005481 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4126906128 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.03
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 3 0 0 0 16 0 9 0 28005483 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 877 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 5 307 0 0 0 0 0 0 15 0 9 0 28005485 889987072 10885 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 869128
[startup+3.10267 s]
/proc/loadavg: 2.11 2.04 2.04 3/89 31730
/proc/meminfo: memFree=1576188/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=3.07
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15549 307 1 0 298 9 0 0 18 0 9 0 28005480 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10888 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=2.77
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11585 307 1 0 270 7 0 0 25 0 9 0 28005481 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4126906131 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.03
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 3 0 0 0 16 0 9 0 28005483 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 877 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10888 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 5 307 0 0 0 0 0 0 15 0 9 0 28005485 889987072 10888 996147200 134512640 134550932 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) 869128
[startup+6.3016 s]
/proc/loadavg: 2.11 2.04 2.04 3/89 31730
/proc/meminfo: memFree=1575996/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=6.25
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15582 307 1 0 616 9 0 0 18 0 9 0 28005480 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10893 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=5.95
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11587 307 1 0 588 7 0 0 25 0 9 0 28005481 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4126906174 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.03
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 3 0 0 0 16 0 9 0 28005483 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 881 307 0 0 23 0 0 0 15 0 9 0 28005485 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 0 0 0 0 15 0 9 0 28005485 889987072 10893 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 869128
[startup+12.7013 s]
/proc/loadavg: 2.10 2.04 2.04 3/89 31730
/proc/meminfo: memFree=1575812/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=12.63
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15584 307 1 0 1254 9 0 0 18 0 9 0 28005480 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10895 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=12.32
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11589 307 1 0 1225 7 0 0 25 0 9 0 28005481 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4126906131 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.03
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 3 0 0 0 16 0 9 0 28005483 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 881 307 0 0 23 0 0 0 15 0 9 0 28005485 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 0 0 0 0 15 0 9 0 28005485 889987072 10895 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 869128
[startup+25.5026 s]
/proc/loadavg: 2.08 2.04 2.04 3/89 31730
/proc/meminfo: memFree=1575748/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=25.37
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15587 307 1 0 2528 9 0 0 18 0 9 0 28005480 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10897 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=25.07
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11592 307 1 0 2500 7 0 0 25 0 9 0 28005481 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4126867832 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.03
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 3 0 0 0 16 0 9 0 28005483 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 881 307 0 0 23 0 0 0 15 0 9 0 28005485 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 0 0 0 0 15 0 9 0 28005485 889987072 10897 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 869128
[startup+51.1022 s]
/proc/loadavg: 2.05 2.03 2.04 3/89 31730
/proc/meminfo: memFree=1575620/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=50.86
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15589 307 1 0 5077 9 0 0 18 0 9 0 28005480 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10899 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=50.55
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11594 307 1 0 5048 7 0 0 25 0 9 0 28005481 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4126906131 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.03
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 3 0 0 0 16 0 9 0 28005483 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 881 307 0 0 23 0 0 0 15 0 9 0 28005485 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10899 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 101865 20 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1018.48
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 101834 14 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126867594 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.07
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 3 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1018.85
Current children cumulated vsize (KiB) 869128
[startup+1031.62 s]
/proc/loadavg: 3.21 2.53 2.23 3/89 32553
/proc/meminfo: memFree=1551124/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1024.75
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 102454 21 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1024.37
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 102422 15 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126867775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.07
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 3 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1024.75
Current children cumulated vsize (KiB) 869128
[startup+1038 s]
/proc/loadavg: 3.25 2.56 2.24 3/89 32553
/proc/meminfo: memFree=1550996/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1031.08
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 103087 21 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1030.69
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 103054 15 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126618458 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.08
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 4 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1031.08
Current children cumulated vsize (KiB) 869128
[startup+1039.6 s]
/proc/loadavg: 3.25 2.56 2.24 3/89 32553
/proc/meminfo: memFree=1550868/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1032.67
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 103246 21 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1032.29
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 103214 15 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126972784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.08
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 4 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1032.67
Current children cumulated vsize (KiB) 869128
[startup+1040.4 s]
/proc/loadavg: 3.25 2.56 2.24 3/89 32553
/proc/meminfo: memFree=1550868/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1033.46
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 103325 21 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1033.08
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 103293 15 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126937047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.08
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 4 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1033.46
Current children cumulated vsize (KiB) 869128
[startup+1040.81 s]
/proc/loadavg: 3.25 2.56 2.24 3/89 32553
/proc/meminfo: memFree=1550868/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1033.86
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 103365 21 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1033.48
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 103333 15 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126941840 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.08
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 4 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1033.86
Current children cumulated vsize (KiB) 869128
[startup+1041.2 s]
/proc/loadavg: 3.25 2.56 2.24 3/89 32553
/proc/meminfo: memFree=1550868/2055920 swapFree=4192812/4192956
[pid=31717] ppid=31715 vsize=869128 CPUtime=1034.25
/proc/31717/stat : 31717 (java) S 31715 31717 29965 0 -1 0 15595 307 1 0 103404 21 0 0 18 0 9 0 28005480 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31717/statm: 217282 10905 2657 9 0 211718 0
[pid=31717/tid=31719] ppid=31715 vsize=869128 CPUtime=1033.87
/proc/31717/task/31719/stat : 31719 (java) R 31715 31717 29965 0 -1 64 11599 307 1 0 103372 15 0 0 25 0 9 0 28005481 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4126906131 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31720] ppid=31715 vsize=869128 CPUtime=0.04
/proc/31717/task/31720/stat : 31720 (java) S 31715 31717 29965 0 -1 64 2247 307 0 0 4 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31721] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31721/stat : 31721 (java) S 31715 31717 29965 0 -1 64 19 307 0 0 0 0 0 0 16 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31722] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31722/stat : 31722 (java) S 31715 31717 29965 0 -1 64 9 307 0 0 0 0 0 0 15 0 9 0 28005483 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31723] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31723/stat : 31723 (java) S 31715 31717 29965 0 -1 64 2 307 0 0 0 0 0 0 18 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31724] ppid=31715 vsize=869128 CPUtime=0.23
/proc/31717/task/31724/stat : 31724 (java) S 31715 31717 29965 0 -1 64 882 307 0 0 23 0 0 0 16 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31717/tid=31725] ppid=31715 vsize=869128 CPUtime=0
/proc/31717/task/31725/stat : 31725 (java) S 31715 31717 29965 0 -1 64 0 307 0 0 0 0 0 0 19 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31717/tid=31726] ppid=31715 vsize=869128 CPUtime=0.08
/proc/31717/task/31726/stat : 31726 (java) S 31715 31717 29965 0 -1 64 32 307 0 0 4 4 0 0 15 0 9 0 28005485 889987072 10905 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1034.25
Current children cumulated vsize (KiB) 869128
Child status: 0
Real time (s): 1041.27
CPU time (s): 1034.32
CPU user time (s): 1034.09
CPU system time (s): 0.233964
CPU usage (%): 99.3322
Max. virtual memory (cumulated for all children) (KiB): 869128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1034.09
system time used= 0.233964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16027
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= 22362
involuntary context switches= 33987
runsolver used 2.29165 second user time and 5.82411 second system time
The end
Begin job on node90 at 2009-07-12 16:36:48
IDJOB=2095914
IDBENCH=55894
IDSOLVER=774
FILE ID=node90/2095914-1247409408
PBS_JOBID= 9510471
Free space on /tmp= 66296 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1111223416.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095914-1247409408/watcher-2095914-1247409408 -o /tmp/evaluation-result-2095914-1247409408/solver-2095914-1247409408 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2095914-1247409408.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7b1cc176bda2947bebc91a5c3d8b8b87
RANDOM SEED=1917110347
node90.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.212
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.212
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: 1610084 kB
Buffers: 64560 kB
Cached: 233212 kB
SwapCached: 0 kB
Active: 234196 kB
Inactive: 146164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1610084 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2056 kB
Writeback: 0 kB
Mapped: 96860 kB
Slab: 50676 kB
Committed_AS: 1015384 kB
PageTables: 1972 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= 66292 MiB
End job on node90 at 2009-07-12 16:54:09