0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1078408-1215206756.xml
0.27/0.32
0.27/0.32 domains being loaded...
0.27/0.33
0.27/0.33 variables being loaded...
0.27/0.35 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.27/0.35 => wckTime=0.101 cpuTime=0.09 mem=7M919
0.27/0.35
0.27/0.35 relations being loaded...
0.47/0.58
0.47/0.58 constraints being loaded...
0.76/0.80 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.76/0.80 nbSharedExtensionStructures=0 nbConflictsStructures=59 nbSharedConflictsStructures=0
0.76/0.80 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=13 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.76/0.80 symmetryWckTime=0.041 symmetryCpuTime=0.02
0.76/0.80 => wckTime=0.549 cpuTime=0.47 mem=47M275
0.86/0.91
0.86/0.92 solver IterativeSystematicSolver being built...
0.86/0.98
0.86/0.98 INFO : Forward propagation technique limited
0.96/1.06 => wckTime=0.805 cpuTime=0.6 mem=29M616
0.96/1.09
0.96/1.09 preprocessing
0.96/1.09 nbConstraintChecks=0 nbValidityChecks=171813 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
0.96/1.09 nbRemovedValues=0 detectedInconsistency=no
0.96/1.10 => wckTime=0.037 cpuTime=0.02 mem=29M616
1.66/1.79
1.66/1.79 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M566)
37.83/38.14
37.83/38.14 search
37.83/38.14 run=16 nbConstraintChecks=158878 nbValidityChecks=489745198 minDepth=1 maxDepth=20 nbPropagations=955140
37.83/38.14 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22624 nbFailedAssignments=13221 nbBacktracks=9308
37.83/38.14 nbVisitedNodes=41843 nbRestartNogoods=186 nbFoundSolutions=1 nbSEliminables=0.03 nbREliminables=3.41
37.83/38.14 nbIEliminables=11.65 nbDEliminables=0 nbPEliminables=0
37.83/38.14 => wckTime=37.077 cpuTime=36.73 mem=31M516
37.83/38.14
37.83/38.14 global
37.83/38.14 nbConstraintChecks=158878 nbValidityChecks=489917011 nbPropagations=955160 nbRestartNogoods=186
37.83/38.14 solvingWckTime=37.08 solvingCpuTime=36.74 expiredTime=no totalExploration=no nbFoundSolutions=1
37.83/38.14 firstSolutionCpuTime=37.33 globalCpuTime=37.38
37.83/38.14 => wckTime=37.888 cpuTime=37.34 mem=31M516
37.83/38.14
37.83/38.14 s SATISFIABLE
37.83/38.14 v 5 2 17 13 18 1 16 16 19 6 1 8 19 10 4 14 7 0 7 16
37.83/38.14 d NODES 22624
37.83/38.14 d CHECKS 158878
37.83/38.14
37.83/38.14 totalWckTime=37.954 totalCpuTime=37.38
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078408-1215206756/watcher-1078408-1215206756 -o /tmp/evaluation-result-1078408-1215206756/solver-1078408-1215206756 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1078408-1215206756.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 11721
/proc/meminfo: memFree=1759384/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=152 CPUtime=0
/proc/11721/stat : 11721 (java) R 11719 11721 11070 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 1999649092 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 10944811 0 0 4096 0 0 0 0 17 0 0 0
/proc/11721/statm: 38 26 19 9 0 4 0
[startup+0.10107 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 11721
/proc/meminfo: memFree=1759384/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=865884 CPUtime=0.08
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 3795 0 1 0 7 1 0 0 18 0 9 0 1999649092 886665216 3246 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216471 3246 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.202083 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 11721
/proc/meminfo: memFree=1759384/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=866044 CPUtime=0.18
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 4683 0 1 0 15 3 0 0 18 0 9 0 1999649092 886829056 4110 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216511 4110 1861 9 0 211059 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.302095 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 11721
/proc/meminfo: memFree=1759384/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=866284 CPUtime=0.27
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 5864 0 1 0 24 3 0 0 18 0 9 0 1999649092 887074816 5238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216571 5238 1953 9 0 211099 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866284
[startup+0.701147 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 11721
/proc/meminfo: memFree=1759384/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=866520 CPUtime=0.67
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 13815 0 1 0 60 7 0 0 18 0 9 0 1999649092 887316480 13175 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216630 13179 1977 9 0 211158 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866520
[startup+1.50224 s]
/proc/loadavg: 1.99 1.97 1.99 4/89 11734
/proc/meminfo: memFree=1693456/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=866932 CPUtime=1.46
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28027 269 1 0 134 11 0 1 18 0 9 0 1999649092 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216733 18980 2631 9 0 211239 0
[pid=11721/tid=11723] ppid=11719 vsize=866932 CPUtime=1.16
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19243 269 1 0 107 8 0 1 19 0 9 0 1999649093 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4126745852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11724] ppid=11719 vsize=866932 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 17 0 9 0 1999649094 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=866932 CPUtime=0.18
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 508 269 0 0 17 0 0 1 15 0 9 0 1999649096 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887738368 18980 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866932
[startup+3.10143 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11734
/proc/meminfo: memFree=1693136/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=866932 CPUtime=3.05
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28039 269 1 0 292 12 0 1 18 0 9 0 1999649092 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216733 18990 2631 9 0 211239 0
[pid=11721/tid=11723] ppid=11719 vsize=866932 CPUtime=2.74
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19244 269 1 0 264 9 0 1 17 0 9 0 1999649093 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4126745794 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11724] ppid=11719 vsize=866932 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=866932 CPUtime=0.19
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 519 269 0 0 18 0 0 1 16 0 9 0 1999649096 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=866932 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887738368 18990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866932
[startup+6.30282 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11734
/proc/meminfo: memFree=1692944/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=6.21
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28066 269 1 0 608 12 0 1 18 0 9 0 1999649092 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19004 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=5.88
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19255 269 1 0 578 9 0 1 17 0 9 0 1999649093 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4126745999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 535 269 0 0 21 0 0 1 17 0 9 0 1999649096 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19004 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867064
[startup+12.7016 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11734
/proc/meminfo: memFree=1692752/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=12.55
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28098 269 1 0 1242 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=12.21
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19283 269 1 0 1211 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126745788 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867064
[startup+25.5021 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1731344/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=25.24
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28124 269 1 0 2511 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=24.89
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19309 269 1 0 2479 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126745794 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867064
Solver just ended. Dumping a history of the last processes samples
[startup+25.6022 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1731344/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=25.34
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28124 269 1 0 2521 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=24.99
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19309 269 1 0 2489 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126745847 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867064
[startup+32.0069 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1699024/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=31.74
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28144 269 1 0 3161 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=31.39
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19329 269 1 0 3129 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126735011 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.74
Current children cumulated vsize (KiB) 867064
[startup+35.2023 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1698832/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=34.94
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28157 269 1 0 3481 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=34.59
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19342 269 1 0 3449 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126745621 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.94
Current children cumulated vsize (KiB) 867064
[startup+36.8015 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1698832/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=36.53
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28164 269 1 0 3640 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=36.19
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19349 269 1 0 3609 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126746174 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 36.53
Current children cumulated vsize (KiB) 867064
[startup+37.6016 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1698768/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=37.33
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28168 269 1 0 3720 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=36.99
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19353 269 1 0 3689 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126745611 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.33
Current children cumulated vsize (KiB) 867064
[startup+38.0017 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1698768/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=867064 CPUtime=37.73
/proc/11721/stat : 11721 (java) S 11719 11721 11070 0 -1 0 28170 269 1 0 3760 12 0 1 18 0 9 0 1999649092 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 216766 19007 2631 9 0 211272 0
[pid=11721/tid=11723] ppid=11719 vsize=867064 CPUtime=37.39
/proc/11721/task/11723/stat : 11723 (java) R 11719 11721 11070 0 -1 64 19355 269 1 0 3729 9 0 1 25 0 9 0 1999649093 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4126745938 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11724] ppid=11719 vsize=867064 CPUtime=0.11
/proc/11721/task/11724/stat : 11724 (java) S 11719 11721 11070 0 -1 64 7439 269 0 0 9 1 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11725] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11725/stat : 11725 (java) S 11719 11721 11070 0 -1 64 13 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11726] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11726/stat : 11726 (java) S 11719 11721 11070 0 -1 64 8 269 0 0 0 0 0 1 16 0 9 0 1999649094 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11721/tid=11727] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11727/stat : 11727 (java) S 11719 11721 11070 0 -1 64 1 269 0 0 0 0 0 1 23 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11728] ppid=11719 vsize=867064 CPUtime=0.22
/proc/11721/task/11728/stat : 11728 (java) S 11719 11721 11070 0 -1 64 539 269 0 0 21 0 0 1 16 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11729] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11729/stat : 11729 (java) S 11719 11721 11070 0 -1 64 2 269 0 0 0 0 0 1 24 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11721/tid=11730] ppid=11719 vsize=867064 CPUtime=0.01
/proc/11721/task/11730/stat : 11730 (java) S 11719 11721 11070 0 -1 64 4 269 0 0 0 0 0 1 15 0 9 0 1999649096 887873536 19007 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 37.73
Current children cumulated vsize (KiB) 867064
[startup+38.2017 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 11770
/proc/meminfo: memFree=1698768/2055920 swapFree=4180424/4192956
[pid=11721] ppid=11719 vsize=0 CPUtime=37.88
/proc/11721/stat : 11721 (java) Z 11719 11721 11070 0 -1 12 28274 269 1 0 3774 13 0 1 16 0 2 0 1999649092 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11721/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 37.88
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 38.2028
CPU time (s): 37.8992
CPU user time (s): 37.7493
CPU system time (s): 0.149977
CPU usage (%): 99.2054
Max. virtual memory (cumulated for all children) (KiB): 867064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7493
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28543
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= 1851
involuntary context switches= 2304
runsolver used 0.048992 second user time and 0.13098 second system time
The end
Begin job on node33 at 2008-07-04 23:25:56
IDJOB=1078408
IDBENCH=56787
IDSOLVER=363
FILE ID=node33/1078408-1215206756
PBS_JOBID= 7881709
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-14_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078408-1215206756/watcher-1078408-1215206756 -o /tmp/evaluation-result-1078408-1215206756/solver-1078408-1215206756 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1078408-1215206756.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 1b567671b13df00338ea68e530a77205
RANDOM SEED=1660726949
node33.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.231
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.231
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: 1759864 kB
Buffers: 17560 kB
Cached: 131376 kB
SwapCached: 6444 kB
Active: 182704 kB
Inactive: 54824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759864 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 3300 kB
Writeback: 0 kB
Mapped: 102044 kB
Slab: 43636 kB
Committed_AS: 4367692 kB
PageTables: 1972 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66464 MiB
End job on node33 at 2008-07-04 23:26:34