0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.29/0.32
0.29/0.32 instance
0.29/0.32 name=HOME/instance-2097151-1247411795.xml
0.29/0.36
0.29/0.36 domains being loaded...
0.29/0.37
0.29/0.37 variables being loaded...
0.29/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.29/0.39 => wckTime=0.147 cpuTime=0.11 mem=7M892
0.29/0.39
0.29/0.39 relations being loaded...
0.68/0.71
0.68/0.71 constraints being loaded...
0.89/0.93 nbConstraints=55 nbRelationTypes=55 nbGlobalConstraints=55 nbExtensionStructures=55
0.89/0.93 nbSharedExtensionStructures=0 nbConflictsStructures=55 nbSharedConflictsStructures=0
0.89/0.93 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=14 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.89/0.93 symmetryWckTime=0.041 symmetryCpuTime=0.02
0.89/0.93 => wckTime=0.687 cpuTime=0.57 mem=44M262
0.97/1.04
0.97/1.04 solver IterativeSystematicSolver being built...
1.08/1.10
1.08/1.12 INFO : Forward propagation technique limited
1.08/1.18 => wckTime=0.943 cpuTime=0.7 mem=28M532
1.16/1.23
1.16/1.25 preprocessing
1.16/1.25 nbConstraintChecks=0 nbValidityChecks=152631 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
1.16/1.25 nbRemovedValues=0 detectedInconsistency=no
1.16/1.25 => wckTime=0.045 cpuTime=0.04 mem=28M532
1.87/1.94
1.87/1.94 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=29M498)
126.23/126.34
126.23/126.34 search
126.23/126.34 run=18 nbConstraintChecks=556332 nbValidityChecks=1868101839 minDepth=0 maxDepth=8 nbPropagations=2260818
126.23/126.34 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59184 nbFailedAssignments=37169 nbBacktracks=21957
126.23/126.34 nbVisitedNodes=112675 nbRestartNogoods=283 nbSEliminables=0 nbREliminables=4.35 nbIEliminables=11.21
126.23/126.34 nbDEliminables=0 nbPEliminables=0
126.23/126.34 => wckTime=125.155 cpuTime=125.01 mem=31M397
126.23/126.34
126.23/126.34 global
126.23/126.34 nbConstraintChecks=556332 nbValidityChecks=1868254470 nbPropagations=2260838 nbRestartNogoods=283
126.23/126.34 solvingWckTime=125.158 solvingCpuTime=125.01 expiredTime=no totalExploration=yes nbFoundSolutions=0
126.23/126.34 globalCpuTime=125.76
126.23/126.34 => wckTime=126.102 cpuTime=125.71 mem=31M397
126.23/126.34
126.23/126.34 s UNSATISFIABLE
126.23/126.34 d NODES 59184
126.23/126.34 d CHECKS 556332
126.23/126.35
126.23/126.35 totalWckTime=126.159 totalCpuTime=125.77
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097151-1247411795/watcher-2097151-1247411795 -o /tmp/evaluation-result-2097151-1247411795/solver-2097151-1247411795 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097151-1247411795.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.98 2.08 2.02 4/80 31039
/proc/meminfo: memFree=1754120/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=1616 CPUtime=0
/proc/31039/stat : 31039 (java) D 31037 31039 28062 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28242520 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31039/statm: 404 148 122 9 0 46 0
[startup+0.028659 s]
/proc/loadavg: 1.98 2.08 2.02 4/80 31039
/proc/meminfo: memFree=1754120/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=861612 CPUtime=0.02
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 1864 0 1 0 1 1 0 0 18 0 4 0 28242520 882290688 1549 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 215403 1549 682 9 0 210318 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861612
[startup+0.102221 s]
/proc/loadavg: 1.98 2.08 2.02 4/80 31039
/proc/meminfo: memFree=1754120/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=865984 CPUtime=0.09
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 3770 0 1 0 8 1 0 0 18 0 9 0 28242520 886767616 3225 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216496 3225 1701 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.302242 s]
/proc/loadavg: 1.98 2.08 2.02 4/80 31039
/proc/meminfo: memFree=1754120/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=866296 CPUtime=0.29
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 5698 0 1 0 27 2 0 0 18 0 9 0 28242520 887087104 5101 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216574 5101 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866296
[startup+0.702285 s]
/proc/loadavg: 1.98 2.08 2.02 4/80 31039
/proc/meminfo: memFree=1754120/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=866500 CPUtime=0.68
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 10674 0 1 0 63 5 0 0 18 0 9 0 28242520 887296000 10036 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216625 10036 1998 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50136 s]
/proc/loadavg: 1.98 2.08 2.02 4/91 31052
/proc/meminfo: memFree=1703216/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867360 CPUtime=1.47
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26635 271 1 0 136 11 0 0 18 0 9 0 28242520 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216840 17836 2655 9 0 211276 0
[pid=31039/tid=31041] ppid=31037 vsize=867360 CPUtime=1.19
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18399 271 1 0 112 7 0 0 19 0 9 0 28242521 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4126779282 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867360 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 17 0 9 0 28242523 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867360 CPUtime=0.15
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 513 271 0 0 15 0 0 0 16 0 9 0 28242525 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888176640 17836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888176640 17836 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) 867360
[startup+3.10152 s]
/proc/loadavg: 1.98 2.08 2.02 3/89 31052
/proc/meminfo: memFree=1692792/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867360 CPUtime=3.07
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26666 271 1 0 296 11 0 0 18 0 9 0 28242520 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216840 17856 2656 9 0 211276 0
[pid=31039/tid=31041] ppid=31037 vsize=867360 CPUtime=2.76
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18410 271 1 0 269 7 0 0 25 0 9 0 28242521 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4126758217 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867360 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 17 0 9 0 28242523 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867360 CPUtime=0.18
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 533 271 0 0 18 0 0 0 16 0 9 0 28242525 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888176640 17856 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867360 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888176640 17856 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) 867360
[startup+6.30283 s]
/proc/loadavg: 1.98 2.08 2.02 3/89 31052
/proc/meminfo: memFree=1692536/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=6.27
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26694 271 1 0 616 11 0 0 18 0 9 0 28242520 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17869 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=5.94
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18424 271 1 0 587 7 0 0 17 0 9 0 28242521 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4126779233 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.2
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 547 271 0 0 20 0 0 0 16 0 9 0 28242525 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17869 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 867492
[startup+12.7015 s]
/proc/loadavg: 1.98 2.08 2.02 3/89 31052
/proc/meminfo: memFree=1692344/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=12.66
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26724 271 1 0 1255 11 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=12.33
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18447 271 1 0 1225 8 0 0 20 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779437 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 867492
[startup+25.5027 s]
/proc/loadavg: 1.98 2.08 2.02 3/89 31052
/proc/meminfo: memFree=1692408/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=25.46
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26744 271 1 0 2535 11 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=25.13
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18467 271 1 0 2505 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779099 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 867492
[startup+51.1022 s]
/proc/loadavg: 1.99 2.07 2.02 3/89 31052
/proc/meminfo: memFree=1692472/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=51.05
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26806 271 1 0 5094 11 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=50.72
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18529 271 1 0 5064 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779068 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=101.89
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18630 271 1 0 10181 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126854419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 867492
Solver just ended. Dumping a history of the last processes samples
[startup+115.102 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31052
/proc/meminfo: memFree=1692280/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=115.03
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26942 271 1 0 11491 12 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=114.69
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18665 271 1 0 11461 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779321 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 115.03
Current children cumulated vsize (KiB) 867492
[startup+121.501 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31052
/proc/meminfo: memFree=1692280/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=121.43
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26949 271 1 0 12131 12 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=121.08
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18672 271 1 0 12100 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779297 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) R 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 121.43
Current children cumulated vsize (KiB) 867492
[startup+124.701 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31052
/proc/meminfo: memFree=1692280/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=124.63
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26949 271 1 0 12451 12 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=124.28
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18672 271 1 0 12420 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779297 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.63
Current children cumulated vsize (KiB) 867492
[startup+125.503 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31052
/proc/meminfo: memFree=1692280/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=125.43
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26949 271 1 0 12531 12 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=125.08
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18672 271 1 0 12500 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126758250 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 125.43
Current children cumulated vsize (KiB) 867492
[startup+125.903 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31052
/proc/meminfo: memFree=1692280/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=125.83
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26949 271 1 0 12571 12 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=125.48
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18672 271 1 0 12540 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126854416 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 125.83
Current children cumulated vsize (KiB) 867492
[startup+126.303 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31052
/proc/meminfo: memFree=1692280/2055920 swapFree=4192812/4192956
[pid=31039] ppid=31037 vsize=867492 CPUtime=126.23
/proc/31039/stat : 31039 (java) S 31037 31039 28062 0 -1 0 26950 271 1 0 12611 12 0 0 18 0 9 0 28242520 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31039/statm: 216873 17874 2656 9 0 211309 0
[pid=31039/tid=31041] ppid=31037 vsize=867492 CPUtime=125.88
/proc/31039/task/31041/stat : 31041 (java) R 31037 31039 28062 0 -1 64 18673 271 1 0 12580 8 0 0 25 0 9 0 28242521 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4126779686 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31042] ppid=31037 vsize=867492 CPUtime=0.09
/proc/31039/task/31042/stat : 31042 (java) S 31037 31039 28062 0 -1 64 6885 271 0 0 8 1 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31043] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31043/stat : 31043 (java) S 31037 31039 28062 0 -1 64 19 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31044] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31044/stat : 31044 (java) S 31037 31039 28062 0 -1 64 9 271 0 0 0 0 0 0 16 0 9 0 28242523 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31045] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31045/stat : 31045 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 18 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31046] ppid=31037 vsize=867492 CPUtime=0.21
/proc/31039/task/31046/stat : 31046 (java) S 31037 31039 28062 0 -1 64 554 271 0 0 21 0 0 0 16 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31039/tid=31047] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31047/stat : 31047 (java) S 31037 31039 28062 0 -1 64 0 271 0 0 0 0 0 0 19 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31039/tid=31048] ppid=31037 vsize=867492 CPUtime=0
/proc/31039/task/31048/stat : 31048 (java) S 31037 31039 28062 0 -1 64 2 271 0 0 0 0 0 0 15 0 9 0 28242525 888311808 17874 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 126.23
Current children cumulated vsize (KiB) 867492
Child status: 0
Real time (s): 126.401
CPU time (s): 126.304
CPU user time (s): 126.16
CPU system time (s): 0.143978
CPU usage (%): 99.923
Max. virtual memory (cumulated for all children) (KiB): 867492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.16
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27313
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= 3377
involuntary context switches= 3682
runsolver used 0.178972 second user time and 0.405938 second system time
The end
Begin job on node60 at 2009-07-12 17:16:35
IDJOB=2097151
IDBENCH=56947
IDSOLVER=773
FILE ID=node60/2097151-1247411795
PBS_JOBID= 9510525
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097151-1247411795/watcher-2097151-1247411795 -o /tmp/evaluation-result-2097151-1247411795/solver-2097151-1247411795 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097151-1247411795.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d0723849d67084a75f9aabd36744eddc
RANDOM SEED=773262618
node60.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.232
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.232
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: 1754600 kB
Buffers: 42060 kB
Cached: 125560 kB
SwapCached: 0 kB
Active: 177796 kB
Inactive: 73516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1754600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3208 kB
Writeback: 0 kB
Mapped: 104152 kB
Slab: 35004 kB
Committed_AS: 1030836 kB
PageTables: 2020 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= 66460 MiB
End job on node60 at 2009-07-12 17:18:41