0.07/0.11
0.07/0.11 Abscon 112 (May, 2008)
0.16/0.28
0.16/0.28 configuration
0.16/0.28 name=mac.xml
0.26/0.32
0.26/0.32 instance
0.26/0.32 name=HOME/instance-2093241-1247401148.xml
0.26/0.35
0.26/0.35 domains being loaded...
0.26/0.36
0.26/0.36 variables being loaded...
0.26/0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.26/0.39 => wckTime=0.112 cpuTime=0.1 mem=7M892
0.26/0.39
0.26/0.39 relations being loaded...
0.46/0.52
0.46/0.52 constraints being loaded...
0.66/0.76 nbConstraints=326 nbRelationTypes=410 nbMergedConstraints=84 nbExtensionStructures=326
0.66/0.76 nbSharedExtensionStructures=0 nbConflictsStructures=326 nbSharedConflictsStructures=0
0.66/0.76 nbSharedBinaryRepresentations=2225 minDegree=11 maxDegree=23 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0
0.66/0.76 symmetryWckTime=0.055 symmetryCpuTime=0.03
0.66/0.76 => wckTime=0.476 cpuTime=0.34 mem=20M611
0.75/0.83
0.75/0.83 solver IterativeSystematicSolver being built...
0.84/0.97 => wckTime=0.685 cpuTime=0.45 mem=21M256
0.84/0.97
0.84/0.97 preprocessing
0.84/0.97 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84/0.98 detectedInconsistency=no
0.84/0.98 => wckTime=0.0060 cpuTime=0.01 mem=21M256
1.04/1.13
1.04/1.13 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M248)
37.19/37.66
37.19/37.66 search
37.19/37.66 run=19 nbConstraintChecks=196326199 minDepth=0 maxDepth=40 nbPropagations=8914834 nbRevisions=121075213
37.19/37.66 nbUselessRevisions=97554789 nbAssignments=146649 nbFailedAssignments=59022 nbInferredBacktracks=2
37.19/37.66 nbBacktracks=87447 nbVisitedNodes=255257 nbRestartNogoods=143 nbFoundSolutions=1 nbSEliminables=7.69
37.19/37.66 nbREliminables=0.91 nbIEliminables=0.14 nbDEliminables=0 nbPEliminables=0
37.19/37.66 => wckTime=36.693 cpuTime=36.26 mem=22M248
37.19/37.66
37.19/37.66 global
37.19/37.66 nbConstraintChecks=196326199 nbPropagations=8914874 nbRevisions=121075213 nbUselessRevisions=97554789
37.19/37.67 nbRestartNogoods=143 solvingWckTime=36.695 solvingCpuTime=36.26 expiredTime=no totalExploration=no
37.19/37.67 nbFoundSolutions=1 firstSolutionCpuTime=36.71 globalCpuTime=36.75
37.19/37.67 => wckTime=37.384 cpuTime=36.71 mem=22M248
37.19/37.67
37.19/37.67 s SATISFIABLE
37.19/37.67 v 0 10 2 5 15 2 13 13 15 5 18 16 10 16 3 17 6 12 8 6 16 4 3 15 9 4 16 5 1 5 0 12 15 18 17 9 18 14 0 4
37.19/37.67 d NODES 146649
37.19/37.67 d CHECKS 196326199
37.19/37.67
37.19/37.67 totalWckTime=37.454 totalCpuTime=36.75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093241-1247401148/watcher-2093241-1247401148 -o /tmp/evaluation-result-2093241-1247401148/solver-2093241-1247401148 -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-2093241-1247401148.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: 0.00 0.00 0.08 4/81 29135
/proc/meminfo: memFree=1758840/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=18576 CPUtime=0
/proc/29135/stat : 29135 (runsolver) R 29133 29135 28996 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27180164 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 210723466535 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29135/statm: 4644 284 249 26 0 2626 0
[startup+0.059544 s]
/proc/loadavg: 0.00 0.00 0.08 4/81 29135
/proc/meminfo: memFree=1758840/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=863836 CPUtime=0.03
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 2641 0 1 0 2 1 0 0 18 0 9 0 27180164 884568064 2192 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 215959 2192 1057 9 0 210852 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863836
[startup+0.104887 s]
/proc/loadavg: 0.00 0.00 0.08 4/81 29135
/proc/meminfo: memFree=1758840/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=864104 CPUtime=0.07
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 3144 0 1 0 5 2 0 0 18 0 9 0 27180164 884842496 2629 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216026 2629 1245 9 0 210919 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864104
[startup+0.301768 s]
/proc/loadavg: 0.00 0.00 0.08 4/81 29135
/proc/meminfo: memFree=1758840/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=866352 CPUtime=0.26
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 5565 0 1 0 23 3 0 0 18 0 9 0 27180164 887144448 4977 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216588 4977 1908 9 0 211066 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866352
[startup+0.701849 s]
/proc/loadavg: 0.00 0.00 0.08 4/81 29135
/proc/meminfo: memFree=1758840/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867156 CPUtime=0.66
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 9247 0 1 0 60 6 0 0 18 0 9 0 27180164 887967744 8595 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216789 8595 2026 9 0 211247 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867156
[startup+1.5029 s]
/proc/loadavg: 0.00 0.00 0.08 3/90 29148
/proc/meminfo: memFree=1718960/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=1.44
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17552 288 1 0 136 8 0 0 18 0 9 0 27180164 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10772 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=1.1
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12121 288 1 0 104 6 0 0 25 0 9 0 27180166 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 17 0 9 0 27180168 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.26
/proc/29135/task/29142/stat : 29142 (java) R 29133 29135 28996 0 -1 64 727 288 0 0 26 0 0 0 16 0 9 0 27180170 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 101669033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10772 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 867568
[startup+3.10209 s]
/proc/loadavg: 0.00 0.00 0.08 3/90 29148
/proc/meminfo: memFree=1718448/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=3.02
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17567 288 1 0 294 8 0 0 18 0 9 0 27180164 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10786 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=2.67
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12125 288 1 0 261 6 0 0 25 0 9 0 27180166 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4126933447 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 17 0 9 0 27180168 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.27
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 738 288 0 0 27 0 0 0 15 0 9 0 27180170 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 7 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10786 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 867568
[startup+6.30146 s]
/proc/loadavg: 0.16 0.03 0.09 3/90 29148
/proc/meminfo: memFree=1718000/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=6.2
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17586 288 1 0 612 8 0 0 18 0 9 0 27180164 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10788 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=5.84
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12127 288 1 0 578 6 0 0 25 0 9 0 27180166 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4126973506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.27
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 27 0 0 0 16 0 9 0 27180170 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10788 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867568
[startup+12.7012 s]
/proc/loadavg: 0.31 0.07 0.10 3/90 29148
/proc/meminfo: memFree=1713392/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=12.53
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17588 288 1 0 1245 8 0 0 18 0 9 0 27180164 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10790 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=12.18
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12129 288 1 0 1212 6 0 0 25 0 9 0 27180166 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4126922224 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10790 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867568
[startup+25.5027 s]
/proc/loadavg: 0.68 0.16 0.13 3/90 29148
/proc/meminfo: memFree=1713264/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=25.21
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 2513 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=24.85
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 2479 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4126929789 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 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
Solver just ended. Dumping a history of the last processes samples
[startup+31.9065 s]
/proc/loadavg: 0.79 0.19 0.14 3/90 29148
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=31.55
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 3147 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=31.19
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 3113 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4126930279 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.55
Current children cumulated vsize (KiB) 867568
[startup+35.1028 s]
/proc/loadavg: 0.88 0.22 0.15 3/90 29148
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=34.72
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 3464 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=34.36
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 3430 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4125952186 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.72
Current children cumulated vsize (KiB) 867568
[startup+36.702 s]
/proc/loadavg: 0.88 0.22 0.15 3/90 29148
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=36.3
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 3622 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=35.95
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 3589 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4126936599 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.3
Current children cumulated vsize (KiB) 867568
[startup+37.1021 s]
/proc/loadavg: 0.88 0.22 0.15 3/90 29148
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=36.7
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 3662 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=36.35
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 3629 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4126928497 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.7
Current children cumulated vsize (KiB) 867568
[startup+37.5021 s]
/proc/loadavg: 0.88 0.22 0.15 3/90 29148
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=37.09
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 3701 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=36.74
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 3668 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4126922653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.09
Current children cumulated vsize (KiB) 867568
[startup+37.6021 s]
/proc/loadavg: 0.88 0.22 0.15 3/90 29148
/proc/meminfo: memFree=1709040/2055920 swapFree=4192812/4192956
[pid=29135] ppid=29133 vsize=867568 CPUtime=37.19
/proc/29135/stat : 29135 (java) S 29133 29135 28996 0 -1 0 17591 288 1 0 3711 8 0 0 18 0 9 0 27180164 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29135/statm: 216892 10792 2658 9 0 211328 0
[pid=29135/tid=29137] ppid=29133 vsize=867568 CPUtime=36.84
/proc/29135/task/29137/stat : 29137 (java) R 29133 29135 28996 0 -1 64 12132 288 1 0 3678 6 0 0 25 0 9 0 27180166 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4126934562 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29138] ppid=29133 vsize=867568 CPUtime=0.05
/proc/29135/task/29138/stat : 29138 (java) S 29133 29135 28996 0 -1 64 3860 288 0 0 5 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29139] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29139/stat : 29139 (java) S 29133 29135 28996 0 -1 64 19 288 0 0 0 0 0 0 17 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29140] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29140/stat : 29140 (java) S 29133 29135 28996 0 -1 64 9 288 0 0 0 0 0 0 16 0 9 0 27180168 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29141] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29141/stat : 29141 (java) S 29133 29135 28996 0 -1 64 2 288 0 0 0 0 0 0 23 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29142] ppid=29133 vsize=867568 CPUtime=0.28
/proc/29135/task/29142/stat : 29142 (java) S 29133 29135 28996 0 -1 64 740 288 0 0 28 0 0 0 16 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29135/tid=29143] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29143/stat : 29143 (java) S 29133 29135 28996 0 -1 64 0 288 0 0 0 0 0 0 24 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29135/tid=29144] ppid=29133 vsize=867568 CPUtime=0
/proc/29135/task/29144/stat : 29144 (java) S 29133 29135 28996 0 -1 64 22 288 0 0 0 0 0 0 15 0 9 0 27180170 888389632 10792 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.19
Current children cumulated vsize (KiB) 867568
Child status: 0
Real time (s): 37.6998
CPU time (s): 37.2913
CPU user time (s): 37.1893
CPU system time (s): 0.101984
CPU usage (%): 98.9164
Max. virtual memory (cumulated for all children) (KiB): 867568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.1893
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18006
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= 2131
involuntary context switches= 2992
runsolver used 0.047992 second user time and 0.135979 second system time
The end
Begin job on node73 at 2009-07-12 14:19:08
IDJOB=2093241
IDBENCH=53459
IDSOLVER=773
FILE ID=node73/2093241-1247401148
PBS_JOBID= 9510504
Free space on /tmp= 66484 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/frb40-19/normalized-frb40-19-5_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-2093241-1247401148/watcher-2093241-1247401148 -o /tmp/evaluation-result-2093241-1247401148/solver-2093241-1247401148 -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-2093241-1247401148.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0262aff53f681ef3d021e1ec0c74b051
RANDOM SEED=385905840
node73.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.213
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.213
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: 1759320 kB
Buffers: 29676 kB
Cached: 128424 kB
SwapCached: 0 kB
Active: 144504 kB
Inactive: 97604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759320 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5152 kB
Writeback: 0 kB
Mapped: 104516 kB
Slab: 39668 kB
Committed_AS: 986300 kB
PageTables: 1920 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= 66480 MiB
End job on node73 at 2009-07-12 14:19:46