0.00/0.09
0.00/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.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2097134-1247411673.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.33
0.29/0.33 variables being loaded...
0.29/0.36 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.29/0.36 => wckTime=0.104 cpuTime=0.09 mem=7M892
0.29/0.36
0.29/0.36 relations being loaded...
0.48/0.59
0.48/0.59 constraints being loaded...
0.78/0.81 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.78/0.81 nbSharedExtensionStructures=0 nbConflictsStructures=59 nbSharedConflictsStructures=0
0.78/0.81 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=12 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.78/0.81 symmetryWckTime=0.042 symmetryCpuTime=0.02
0.78/0.81 => wckTime=0.555 cpuTime=0.48 mem=48M229
0.86/0.94
0.86/0.94 solver IterativeSystematicSolver being built...
0.96/1.00
0.96/1.01 INFO : Forward propagation technique limited
0.96/1.08 => wckTime=0.825 cpuTime=0.61 mem=29M735
1.16/1.23
1.16/1.23 preprocessing
1.16/1.23 nbConstraintChecks=0 nbValidityChecks=1427145 nbPropagations=188 nbRevisions=0 nbUselessRevisions=0
1.16/1.23 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.16/1.23 detectedInconsistency=no
1.16/1.23 => wckTime=0.15 cpuTime=0.12 mem=29M735
1.85/1.93
1.85/1.93 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M751)
306.86/309.84
306.86/309.84 search
306.86/309.84 run=21 nbConstraintChecks=1694471 nbValidityChecks=3837017976 minDepth=1 maxDepth=20 nbPropagations=7373856
306.86/309.84 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179502 nbFailedAssignments=107016 nbBacktracks=72340
306.86/309.84 nbVisitedNodes=337909 nbRestartNogoods=297 nbFoundSolutions=1 nbSEliminables=0.03 nbREliminables=3.83
306.86/309.84 nbIEliminables=10.28 nbDEliminables=0 nbPEliminables=0
306.86/309.84 => wckTime=308.76 cpuTime=305.75 mem=35M506
306.86/309.85
306.86/309.85 global
306.86/309.85 nbConstraintChecks=1694471 nbValidityChecks=3838445121 nbPropagations=7374044 nbRestartNogoods=297
306.86/309.85 solvingWckTime=308.764 solvingCpuTime=305.75 expiredTime=no totalExploration=no nbFoundSolutions=1
306.86/309.85 firstSolutionCpuTime=306.36 globalCpuTime=306.4
306.86/309.85 => wckTime=309.59 cpuTime=306.36 mem=35M506
306.86/309.85
306.86/309.85 s SATISFIABLE
306.86/309.85 v 7 6 11 12 6 2 15 1 15 1 1 14 1 7 4 18 3 0 5 1
306.86/309.85 d NODES 179502
306.86/309.85 d CHECKS 1694471
306.86/309.85
306.86/309.85 totalWckTime=309.658 totalCpuTime=306.4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097134-1247411673/watcher-2097134-1247411673 -o /tmp/evaluation-result-2097134-1247411673/solver-2097134-1247411673 -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-2097134-1247411673.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.00 2.00 2.00 3/80 30900
/proc/meminfo: memFree=1719128/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=10676 CPUtime=0
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28229873 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 2669 474 207 9 0 1184 0
[pid=30900/tid=30901] ppid=30898 vsize=10676 CPUtime=0
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28229874 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 8052696 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.113638 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30900
/proc/meminfo: memFree=1719128/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=865984 CPUtime=0.09
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 3848 0 1 0 7 2 0 0 18 0 9 0 28229873 886767616 3291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216496 3291 1735 9 0 210981 0
[pid=30900/tid=30901] ppid=30898 vsize=865984 CPUtime=0.07
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 2926 0 1 0 6 1 0 0 18 0 9 0 28229874 886767616 3291 996147200 134512640 134550932 4294955968 18446744073709551615 102272415 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.202653 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30900
/proc/meminfo: memFree=1719128/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=866168 CPUtime=0.18
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 4717 0 1 0 15 3 0 0 18 0 9 0 28229873 886956032 4134 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216542 4134 1885 9 0 211020 0
[pid=30900/tid=30901] ppid=30898 vsize=866168 CPUtime=0.15
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 3786 0 1 0 13 2 0 0 17 0 9 0 28229874 886956032 4134 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866168
[startup+0.302665 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30900
/proc/meminfo: memFree=1719128/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=866380 CPUtime=0.29
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 5909 0 1 0 25 4 0 0 18 0 9 0 28229873 887173120 5275 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216595 5275 1983 9 0 211053 0
[pid=30900/tid=30901] ppid=30898 vsize=866380 CPUtime=0.23
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 4921 0 1 0 20 3 0 0 17 0 9 0 28229874 887173120 5275 996147200 134512640 134550932 4294955968 18446744073709551615 102251252 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.70272 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30900
/proc/meminfo: memFree=1719128/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=866616 CPUtime=0.68
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 13625 0 1 0 61 7 0 0 18 0 9 0 28229873 887414784 12978 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216654 12981 2007 9 0 211112 0
[pid=30900/tid=30901] ppid=30898 vsize=866616 CPUtime=0.58
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 12583 0 1 0 52 6 0 0 21 0 9 0 28229874 887414784 12982 996147200 134512640 134550932 4294955968 18446744073709551615 4126647420 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866616
[startup+1.50284 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 30913
/proc/meminfo: memFree=1653312/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867028 CPUtime=1.46
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 28215 270 1 0 134 12 0 0 18 0 9 0 28229873 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216757 19092 2656 9 0 211193 0
[pid=30900/tid=30901] ppid=30898 vsize=867028 CPUtime=1.16
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 19394 270 1 0 108 8 0 0 19 0 9 0 28229874 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4126769426 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867028 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867028 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867028 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867028 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867028 CPUtime=0.16
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 516 270 0 0 16 0 0 0 15 0 9 0 28229879 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867028 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887836672 19092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867028 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887836672 19092 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) 867028
[startup+3.10104 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 30913
/proc/meminfo: memFree=1652936/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=3.04
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 28235 270 1 0 292 12 0 0 18 0 9 0 28229873 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19106 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=2.72
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 19399 270 1 0 264 8 0 0 25 0 9 0 28229874 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4126769396 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 17 0 9 0 28229876 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.18
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 531 270 0 0 18 0 0 0 15 0 9 0 28229879 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867160
[startup+6.30248 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 30913
/proc/meminfo: memFree=1652680/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=6.21
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 28264 270 1 0 609 12 0 0 18 0 9 0 28229873 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19121 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=5.86
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 19411 270 1 0 578 8 0 0 25 0 9 0 28229874 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4126769456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 17 0 9 0 28229876 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.21
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 548 270 0 0 21 0 0 0 16 0 9 0 28229879 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867160
[startup+12.7014 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 30913
/proc/meminfo: memFree=1652488/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=12.55
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 28289 270 1 0 1243 12 0 0 18 0 9 0 28229873 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19125 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=12.19
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 19431 270 1 0 1211 8 0 0 25 0 9 0 28229874 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4126769336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.22
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 553 270 0 0 21 1 0 0 16 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867160
[startup+25.5021 s]
/proc/loadavg: 2.06 2.01 2.00 3/89 30913
/proc/meminfo: memFree=1652552/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=25.23
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 28318 270 1 0 2510 13 0 0 18 0 9 0 28229873 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19125 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=24.87
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 19460 270 1 0 2479 8 0 0 25 0 9 0 28229874 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4126769243 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.22
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 553 270 0 0 21 1 0 0 16 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867160
[startup+51.1026 s]
/proc/loadavg: 2.04 2.01 2.00 3/89 30913
/proc/meminfo: memFree=1652488/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=50.59
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 28385 270 1 0 5046 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=50.22
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 19526 270 1 0 5014 8 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126769426 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29019 270 1 0 29781 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=297.59
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 20160 270 1 0 29750 9 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126769247 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 554 270 0 0 22 1 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 297.94
Current children cumulated vsize (KiB) 867160
[startup+304.002 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30913
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=301.11
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29019 270 1 0 30098 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=300.76
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 20160 270 1 0 30067 9 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126800185 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 554 270 0 0 22 1 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 301.11
Current children cumulated vsize (KiB) 867160
[startup+307.202 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30913
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=304.28
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29025 270 1 0 30415 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=303.92
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 20166 270 1 0 30383 9 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126758180 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 554 270 0 0 22 1 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 304.28
Current children cumulated vsize (KiB) 867160
[startup+308.803 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30913
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=305.87
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29029 270 1 0 30574 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=305.51
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 20170 270 1 0 30542 9 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126800177 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 554 270 0 0 22 1 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 305.87
Current children cumulated vsize (KiB) 867160
[startup+309.603 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30913
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=306.66
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29031 270 1 0 30653 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=306.3
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 20172 270 1 0 30621 9 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126769227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 554 270 0 0 22 1 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 306.66
Current children cumulated vsize (KiB) 867160
[startup+309.802 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30913
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=306.86
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29032 270 1 0 30673 13 0 0 18 0 9 0 28229873 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19126 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=306.5
/proc/30900/task/30901/stat : 30901 (java) R 30898 30900 28469 0 -1 64 20173 270 1 0 30641 9 0 0 25 0 9 0 28229874 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4126769439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 554 270 0 0 22 1 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 306.86
Current children cumulated vsize (KiB) 867160
[startup+309.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30913
/proc/meminfo: memFree=1652360/2055920 swapFree=4192812/4192956
[pid=30900] ppid=30898 vsize=867160 CPUtime=306.91
/proc/30900/stat : 30900 (java) S 30898 30900 28469 0 -1 0 29106 270 1 0 30678 13 0 0 18 0 9 0 28229873 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30900/statm: 216790 19130 2656 9 0 211226 0
[pid=30900/tid=30901] ppid=30898 vsize=867160 CPUtime=306.55
/proc/30900/task/30901/stat : 30901 (java) S 30898 30900 28469 0 -1 64 20246 270 1 0 30646 9 0 0 22 0 9 0 28229874 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30903] ppid=30898 vsize=867160 CPUtime=0.1
/proc/30900/task/30903/stat : 30903 (java) S 30898 30900 28469 0 -1 64 7463 270 0 0 9 1 0 0 16 0 9 0 28229876 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30904] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30904/stat : 30904 (java) S 30898 30900 28469 0 -1 64 19 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30905] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30905/stat : 30905 (java) S 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 16 0 9 0 28229876 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30906] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30906/stat : 30906 (java) S 30898 30900 28469 0 -1 64 2 270 0 0 0 0 0 0 18 0 9 0 28229879 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30907] ppid=30898 vsize=867160 CPUtime=0.23
/proc/30900/task/30907/stat : 30907 (java) S 30898 30900 28469 0 -1 64 555 270 0 0 22 1 0 0 16 0 9 0 28229879 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30908] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30908/stat : 30908 (java) S 30898 30900 28469 0 -1 64 0 270 0 0 0 0 0 0 19 0 9 0 28229879 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30900/tid=30909] ppid=30898 vsize=867160 CPUtime=0
/proc/30900/task/30909/stat : 30909 (java) R 30898 30900 28469 0 -1 64 9 270 0 0 0 0 0 0 15 0 9 0 28229879 887971840 19130 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 306.91
Current children cumulated vsize (KiB) 867160
Child status: 0
Real time (s): 309.915
CPU time (s): 306.946
CPU user time (s): 306.785
CPU system time (s): 0.160975
CPU usage (%): 99.0422
Max. virtual memory (cumulated for all children) (KiB): 867160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 306.785
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29403
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= 7361
involuntary context switches= 14135
runsolver used 0.413937 second user time and 1.00885 second system time
The end
Begin job on node71 at 2009-07-12 17:14:33
IDJOB=2097134
IDBENCH=56930
IDSOLVER=774
FILE ID=node71/2097134-1247411673
PBS_JOBID= 9510505
Free space on /tmp= 66392 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-12_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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097134-1247411673/watcher-2097134-1247411673 -o /tmp/evaluation-result-2097134-1247411673/solver-2097134-1247411673 -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-2097134-1247411673.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b8c2bd661dc6ef0ca0d01b71637dc540
RANDOM SEED=2005875948
node71.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1719608 kB
Buffers: 42420 kB
Cached: 134108 kB
SwapCached: 0 kB
Active: 199260 kB
Inactive: 81856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1719608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3292 kB
Writeback: 0 kB
Mapped: 125048 kB
Slab: 40128 kB
Committed_AS: 1015108 kB
PageTables: 2032 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= 66392 MiB
End job on node71 at 2009-07-12 17:19:43