0.05/0.10
0.05/0.10 Abscon 112 (May, 2008)
0.17/0.27
0.17/0.27 configuration
0.17/0.27 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-2098486-1247415689.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=25 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=125
0.28/0.38 => wckTime=0.112 cpuTime=0.1 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
3.64/3.79
3.64/3.79 INFO : Contraction of relations, mem = 108M19
5.82/5.98
5.82/5.98 constraints being loaded...
9.46/9.61 nbConstraints=56 nbRelationTypes=56 nbGlobalConstraints=56 nbExtensionStructures=56
9.46/9.61 nbSharedExtensionStructures=0 nbConflictsStructures=56 nbSharedConflictsStructures=0
9.46/9.61 nbSharedBinaryRepresentations=0 minDegree=8 maxDegree=24 minArity=7 maxArity=7 nbGenerators=0 nbFusions=0
9.46/9.61 symmetryWckTime=0.085 symmetryCpuTime=0.02
9.46/9.61 => wckTime=9.34 cpuTime=7.92 mem=168M255
10.06/10.22
10.06/10.22 solver IterativeSystematicSolver being built...
10.06/10.29
10.06/10.29 INFO : Forward propagation technique limited
10.16/10.36 => wckTime=10.093 cpuTime=8.05 mem=179M469
10.95/11.13
10.95/11.13 preprocessing
10.95/11.13 nbConstraintChecks=0 nbValidityChecks=10853261 nbPropagations=95 nbRevisions=0 nbUselessRevisions=0
10.95/11.13 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
10.95/11.13 detectedInconsistency=no
10.95/11.13 => wckTime=0.768 cpuTime=0.73 mem=179M469
12.64/12.90
12.64/12.90 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=180M440)
1545.83/1557.28
1545.83/1557.28 search
1545.83/1557.29 run=21 nbConstraintChecks=3878371 nbValidityChecks=11484984528 minDepth=2 maxDepth=25 nbPropagations=5987801
1545.83/1557.29 nbRevisions=0 nbUselessRevisions=0 nbAssignments=294866 nbFailedAssignments=120151 nbBacktracks=174467
1545.83/1557.29 nbVisitedNodes=505777 nbRestartNogoods=165 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=9.55
1545.83/1557.29 nbIEliminables=4.31 nbDEliminables=0 nbPEliminables=0
1545.83/1557.29 => wckTime=1546.919 cpuTime=1535.58 mem=188M74
1545.83/1557.29
1545.83/1557.29 global
1545.83/1557.29 nbConstraintChecks=3878371 nbValidityChecks=11495837789 nbPropagations=5987896 nbRestartNogoods=165
1545.83/1557.29 solvingWckTime=1546.923 solvingCpuTime=1535.58 expiredTime=no totalExploration=no nbFoundSolutions=1
1545.83/1557.29 firstSolutionCpuTime=1543.63 globalCpuTime=1543.68
1545.83/1557.29 => wckTime=1557.017 cpuTime=1543.64 mem=188M74
1545.83/1557.29
1545.83/1557.29 s SATISFIABLE
1545.83/1557.29 v 4 1 2 2 1 4 4 3 1 4 2 1 3 2 1 2 4 1 0 1 3 3 0 1 0
1545.83/1557.29 d NODES 294866
1545.83/1557.29 d CHECKS 3878371
1545.83/1557.29
1545.83/1557.29 totalWckTime=1557.089 totalCpuTime=1543.68
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098486-1247415689/watcher-2098486-1247415689 -o /tmp/evaluation-result-2098486-1247415689/solver-2098486-1247415689 -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-2098486-1247415689.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: 1.84 1.95 1.96 4/80 31655
/proc/meminfo: memFree=1394544/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=18576 CPUtime=0
/proc/31655/stat : 31655 (runsolver) R 31653 31655 31618 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 28632205 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 217051622695 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31655/statm: 4644 284 249 26 0 2626 0
[startup+0.0645799 s]
/proc/loadavg: 1.84 1.95 1.96 4/80 31655
/proc/meminfo: memFree=1394544/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=864024 CPUtime=0.05
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 2731 0 1 0 3 2 0 0 18 0 9 0 28632205 884760576 2281 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216006 2281 1081 9 0 210899 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864024
[startup+0.101583 s]
/proc/loadavg: 1.84 1.95 1.96 4/80 31655
/proc/meminfo: memFree=1394544/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=865984 CPUtime=0.08
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 3659 0 1 0 6 2 0 0 18 0 9 0 28632205 886767616 3142 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216496 3142 1680 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301624 s]
/proc/loadavg: 1.84 1.95 1.96 4/80 31655
/proc/meminfo: memFree=1394544/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=866300 CPUtime=0.28
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 5696 0 1 0 25 3 0 0 18 0 9 0 28632205 887091200 5103 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216575 5103 1923 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.701703 s]
/proc/loadavg: 1.84 1.95 1.96 4/80 31655
/proc/meminfo: memFree=1394544/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=866492 CPUtime=0.67
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 15117 0 1 0 61 6 0 0 18 0 9 0 28632205 887287808 14479 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216623 14479 1999 9 0 211081 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866492
[startup+1.50286 s]
/proc/loadavg: 1.84 1.95 1.96 3/89 31664
/proc/meminfo: memFree=1329960/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=866624 CPUtime=1.47
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 22576 0 1 0 137 10 0 0 18 0 9 0 28632205 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216656 21934 2012 9 0 211114 0
[pid=31655/tid=31657] ppid=31653 vsize=866624 CPUtime=1.29
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 15641 0 1 0 122 7 0 0 25 0 9 0 28632207 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4126405557 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31658] ppid=31653 vsize=866624 CPUtime=0.08
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 5906 0 0 0 6 2 0 0 16 0 9 0 28632208 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28632208 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28632208 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28632210 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=866624 CPUtime=0.07
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 328 0 0 0 7 0 0 0 16 0 9 0 28632210 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31663] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28632210 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28632210 887422976 21934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866624
[startup+3.10216 s]
/proc/loadavg: 1.85 1.95 1.96 4/89 31664
/proc/meminfo: memFree=1297192/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=866624 CPUtime=3.04
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 31848 0 1 0 289 15 0 0 18 0 9 0 28632205 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216656 31202 2012 9 0 211114 0
[pid=31655/tid=31657] ppid=31653 vsize=866624 CPUtime=2.63
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 15711 0 1 0 254 9 0 0 25 0 9 0 28632207 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4126405784 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31658] ppid=31653 vsize=866624 CPUtime=0.3
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 15101 0 0 0 25 5 0 0 16 0 9 0 28632208 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28632208 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28632208 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28632210 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=866624 CPUtime=0.08
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 335 0 0 0 8 0 0 0 16 0 9 0 28632210 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31663] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28632210 887422976 31202 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=866624 CPUtime=0
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28632210 887422976 31202 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) 866624
[startup+6.30177 s]
/proc/loadavg: 1.85 1.95 1.96 4/89 31664
/proc/meminfo: memFree=1266920/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867156 CPUtime=6.21
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 35705 0 1 0 602 19 0 0 18 0 9 0 28632205 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216789 34395 2633 9 0 211247 0
[pid=31655/tid=31657] ppid=31653 vsize=867156 CPUtime=5.39
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 15760 0 1 0 528 11 0 0 25 0 9 0 28632207 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4126736692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867156 CPUtime=0.66
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 18758 0 0 0 59 7 0 0 16 0 9 0 28632208 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867156 CPUtime=0
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28632208 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867156 CPUtime=0
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28632208 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867156 CPUtime=0
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28632210 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867156 CPUtime=0.14
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 486 0 0 0 14 0 0 0 15 0 9 0 28632210 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867156 CPUtime=0
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28632210 887967744 34395 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867156 CPUtime=0
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28632210 887967744 34395 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) 867156
[startup+12.703 s]
/proc/loadavg: 1.88 1.95 1.96 3/89 31668
/proc/meminfo: memFree=1165736/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=12.54
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 95420 278 1 0 1213 39 0 2 18 0 9 0 28632205 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59666 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=10.52
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 22564 278 1 0 1038 12 0 2 25 0 9 0 28632207 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4126874002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 17 0 9 0 28632208 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.25
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 665 278 0 0 23 0 0 2 15 0 9 0 28632210 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59666 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867568
[startup+25.5014 s]
/proc/loadavg: 1.89 1.95 1.96 3/89 31668
/proc/meminfo: memFree=1165864/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=25.21
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 95468 278 1 0 2480 39 0 2 18 0 9 0 28632205 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59686 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=23.16
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 22588 278 1 0 2301 13 0 2 25 0 9 0 28632207 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4126873819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.29
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 689 278 0 0 27 0 0 2 17 0 9 0 28632210 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59686 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867568
[startup+51.1013 s]
/proc/loadavg: 1.93 1.96 1.96 3/89 31668
/proc/meminfo: memFree=1165736/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=50.55
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 95505 278 1 0 5014 39 0 2 18 0 9 0 28632205 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59689 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=48.49
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 22619 278 1 0 4834 13 0 2 25 0 9 0 28632207 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4126874002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 695 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1528.87
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 24295 278 1 0 152865 20 0 2 25 0 9 0 28632207 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4126874002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 696 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.94
Current children cumulated vsize (KiB) 867568
Solver just ended. Dumping a history of the last processes samples
[startup+1548.7 s]
/proc/loadavg: 2.05 2.08 2.01 3/89 32054
/proc/meminfo: memFree=1217000/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=1537.34
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 97190 278 1 0 153686 46 0 2 18 0 9 0 28632205 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59690 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1535.28
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 24303 278 1 0 153506 20 0 2 25 0 9 0 28632207 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4126863107 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 696 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.34
Current children cumulated vsize (KiB) 867568
[startup+1551.9 s]
/proc/loadavg: 2.05 2.08 2.01 3/89 32054
/proc/meminfo: memFree=1217000/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=1540.53
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 97194 278 1 0 154005 46 0 2 18 0 9 0 28632205 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59690 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1538.47
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 24307 278 1 0 153825 20 0 2 25 0 9 0 28632207 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4126873829 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 696 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1540.53
Current children cumulated vsize (KiB) 867568
[startup+1555.1 s]
/proc/loadavg: 2.05 2.08 2.01 3/89 32054
/proc/meminfo: memFree=1217000/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=1543.73
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 97198 278 1 0 154325 46 0 2 18 0 9 0 28632205 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59690 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1541.67
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 24311 278 1 0 154145 20 0 2 25 0 9 0 28632207 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4126931208 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 696 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.73
Current children cumulated vsize (KiB) 867568
[startup+1556.7 s]
/proc/loadavg: 2.04 2.08 2.01 3/89 32054
/proc/meminfo: memFree=1217000/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=1545.33
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 97200 278 1 0 154485 46 0 2 18 0 9 0 28632205 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59690 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1543.27
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 24313 278 1 0 154305 20 0 2 25 0 9 0 28632207 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4126874002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 696 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1545.33
Current children cumulated vsize (KiB) 867568
[startup+1557.1 s]
/proc/loadavg: 2.04 2.08 2.01 3/89 32054
/proc/meminfo: memFree=1217000/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=1545.73
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 97201 278 1 0 154525 46 0 2 18 0 9 0 28632205 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59690 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1543.67
/proc/31655/task/31657/stat : 31657 (java) R 31653 31655 31618 0 -1 64 24314 278 1 0 154345 20 0 2 25 0 9 0 28632207 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4126874080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 696 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59690 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1545.73
Current children cumulated vsize (KiB) 867568
[startup+1557.3 s]
/proc/loadavg: 2.04 2.08 2.01 3/89 32054
/proc/meminfo: memFree=1217000/2055920 swapFree=4192812/4192956
[pid=31655] ppid=31653 vsize=867568 CPUtime=1545.92
/proc/31655/stat : 31655 (java) S 31653 31655 31618 0 -1 0 97300 278 1 0 154544 46 0 2 18 0 9 0 28632205 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31655/statm: 216892 59694 2661 9 0 211328 0
[pid=31655/tid=31657] ppid=31653 vsize=867568 CPUtime=1543.86
/proc/31655/task/31657/stat : 31657 (java) S 31653 31655 31618 0 -1 64 24412 278 1 0 154364 20 0 2 25 0 9 0 28632207 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31658] ppid=31653 vsize=867568 CPUtime=1.76
/proc/31655/task/31658/stat : 31658 (java) S 31653 31655 31618 0 -1 64 71333 278 0 0 151 23 0 2 16 0 9 0 28632208 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31659] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31659/stat : 31659 (java) S 31653 31655 31618 0 -1 64 21 278 0 0 0 0 0 2 17 0 9 0 28632208 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31660] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31660/stat : 31660 (java) S 31653 31655 31618 0 -1 64 15 278 0 0 0 0 0 2 16 0 9 0 28632208 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31661] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31661/stat : 31661 (java) S 31653 31655 31618 0 -1 64 2 278 0 0 0 0 0 2 18 0 9 0 28632210 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31662] ppid=31653 vsize=867568 CPUtime=0.3
/proc/31655/task/31662/stat : 31662 (java) S 31653 31655 31618 0 -1 64 697 278 0 0 28 0 0 2 16 0 9 0 28632210 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31655/tid=31663] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31663/stat : 31663 (java) S 31653 31655 31618 0 -1 64 0 278 0 0 0 0 0 2 19 0 9 0 28632210 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31655/tid=31664] ppid=31653 vsize=867568 CPUtime=0.02
/proc/31655/task/31664/stat : 31664 (java) S 31653 31655 31618 0 -1 64 7 278 0 0 0 0 0 2 15 0 9 0 28632210 888389632 59694 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1545.92
Current children cumulated vsize (KiB) 867568
Child status: 0
Real time (s): 1557.37
CPU time (s): 1545.98
CPU user time (s): 1545.45
CPU system time (s): 0.52592
CPU usage (%): 99.2682
Max. virtual memory (cumulated for all children) (KiB): 868160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1545.45
system time used= 0.52592
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97608
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= 33102
involuntary context switches= 59048
runsolver used 2.07069 second user time and 5.01324 second system time
The end
Begin job on node59 at 2009-07-12 18:21:31
IDJOB=2098486
IDBENCH=58688
IDSOLVER=774
FILE ID=node59/2098486-1247415689
PBS_JOBID= 9510679
Free space on /tmp= 66356 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/dag-half/normalized-half-n25-d5-e56-r7-16.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-2098486-1247415689/watcher-2098486-1247415689 -o /tmp/evaluation-result-2098486-1247415689/solver-2098486-1247415689 -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-2098486-1247415689.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b7e9524b8eaa9cb78435f60b3e354238
RANDOM SEED=950185515
node59.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.263
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.263
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: 1395024 kB
Buffers: 92440 kB
Cached: 347044 kB
SwapCached: 0 kB
Active: 358616 kB
Inactive: 214860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1395024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 32392 kB
Writeback: 0 kB
Mapped: 154432 kB
Slab: 72456 kB
Committed_AS: 1009016 kB
PageTables: 2116 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= 66356 MiB
End job on node59 at 2009-07-12 18:47:28