0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097649-1247413774.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.28/0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.39 => wckTime=0.15 cpuTime=0.1 mem=7M892
0.28/0.39
0.28/0.39 relations being loaded...
3.34/3.43
3.34/3.43 INFO : Contraction of relations, mem = 107M745
5.12/5.26
5.12/5.26 constraints being loaded...
7.89/8.06 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
7.89/8.06 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
7.89/8.06 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=10 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
7.89/8.06 symmetryWckTime=0.071 symmetryCpuTime=0.02
7.89/8.06 => wckTime=7.826 cpuTime=6.42 mem=182M831
8.88/9.01
8.88/9.01 solver IterativeSystematicSolver being built...
8.88/9.08
8.88/9.08 INFO : Forward propagation technique limited
8.97/9.15 => wckTime=8.912 cpuTime=6.54 mem=179M556
9.17/9.38
9.17/9.38 preprocessing
9.17/9.38 nbConstraintChecks=0 nbValidityChecks=1406099 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
9.17/9.38 nbRemovedValues=0 detectedInconsistency=no
9.17/9.38 => wckTime=0.228 cpuTime=0.22 mem=180M437
10.17/10.34
10.17/10.34 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M301)
527.70/532.70
527.70/532.70 search
527.70/532.70 run=23 nbConstraintChecks=3066568 nbValidityChecks=3720110422 minDepth=1 maxDepth=20 nbPropagations=8746231
527.70/532.70 nbRevisions=0 nbUselessRevisions=0 nbAssignments=570182 nbFailedAssignments=305633 nbBacktracks=264308
527.70/532.70 nbVisitedNodes=1020078 nbRestartNogoods=207 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=9.46
527.70/532.70 nbIEliminables=2.1 nbDEliminables=0 nbPEliminables=0
527.70/532.70 => wckTime=523.549 cpuTime=518.57 mem=195M125
527.70/532.70
527.70/532.70 global
527.70/532.70 nbConstraintChecks=3066568 nbValidityChecks=3721516521 nbPropagations=8746251 nbRestartNogoods=207
527.70/532.71 solvingWckTime=523.554 solvingCpuTime=518.57 expiredTime=no totalExploration=no nbFoundSolutions=1
527.70/532.71 firstSolutionCpuTime=525.11 globalCpuTime=525.16
527.70/532.71 => wckTime=532.467 cpuTime=525.11 mem=195M125
527.70/532.71
527.70/532.71 s SATISFIABLE
527.70/532.71 v 2 1 4 4 1 2 4 0 1 2 0 1 4 3 3 2 3 2 1 4
527.70/532.71 d NODES 570182
527.70/532.71 d CHECKS 3066568
527.70/532.71
527.70/532.71 totalWckTime=532.524 totalCpuTime=525.16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097649-1247413774/watcher-2097649-1247413774 -o /tmp/evaluation-result-2097649-1247413774/solver-2097649-1247413774 -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-2097649-1247413774.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.04 2.01 4/80 30806
/proc/meminfo: memFree=1649384/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=1616 CPUtime=0
/proc/30806/stat : 30806 (java) D 30804 30806 28929 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28441592 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30806/statm: 404 148 122 9 0 46 0
[startup+0.060111 s]
/proc/loadavg: 2.01 2.04 2.01 4/80 30806
/proc/meminfo: memFree=1649384/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=864024 CPUtime=0.04
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 2751 0 1 0 3 1 0 0 18 0 9 0 28441592 884760576 2301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216006 2301 1089 9 0 210899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864024
[startup+0.101114 s]
/proc/loadavg: 2.01 2.04 2.01 4/80 30806
/proc/meminfo: memFree=1649384/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=865984 CPUtime=0.09
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 3780 0 1 0 7 2 0 0 18 0 9 0 28441592 886767616 3233 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216496 3233 1706 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301129 s]
/proc/loadavg: 2.01 2.04 2.01 4/80 30806
/proc/meminfo: memFree=1649384/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=866296 CPUtime=0.28
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 5695 0 1 0 24 4 0 0 18 0 9 0 28441592 887087104 5098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216574 5098 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701156 s]
/proc/loadavg: 2.01 2.04 2.01 4/80 30806
/proc/meminfo: memFree=1649384/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=866500 CPUtime=0.68
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 13084 0 1 0 61 7 0 0 18 0 9 0 28441592 887296000 12446 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216625 12446 1999 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50221 s]
/proc/loadavg: 2.01 2.04 2.01 3/89 30815
/proc/meminfo: memFree=1576992/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=866632 CPUtime=1.46
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 23945 0 1 0 133 13 0 0 18 0 9 0 28441592 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216658 23305 2010 9 0 211116 0
[pid=30806/tid=30808] ppid=30804 vsize=866632 CPUtime=1.29
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 15708 0 1 0 120 9 0 0 25 0 9 0 28441593 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4126583964 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=866632 CPUtime=0.08
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 7211 0 0 0 6 2 0 0 16 0 9 0 28441595 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28441595 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28441595 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28441597 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=866632 CPUtime=0.06
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 331 0 0 0 6 0 0 0 16 0 9 0 28441597 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28441597 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28441597 887431168 23305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866632
[startup+3.10232 s]
/proc/loadavg: 2.01 2.04 2.01 4/89 30815
/proc/meminfo: memFree=1558560/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=866632 CPUtime=3.05
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 32890 0 1 0 286 19 0 0 18 0 9 0 28441592 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216658 32246 2010 9 0 211116 0
[pid=30806/tid=30808] ppid=30804 vsize=866632 CPUtime=2.69
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 15712 0 1 0 258 11 0 0 25 0 9 0 28441593 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4126425135 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=866632 CPUtime=0.26
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 16147 0 0 0 20 6 0 0 16 0 9 0 28441595 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28441595 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28441595 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28441597 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=866632 CPUtime=0.07
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 336 0 0 0 7 0 0 0 16 0 9 0 28441597 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28441597 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=866632 CPUtime=0
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28441597 887431168 32246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866632
[startup+6.30153 s]
/proc/loadavg: 2.09 2.06 2.01 3/89 30815
/proc/meminfo: memFree=1499040/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867160 CPUtime=6.21
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 45900 0 1 0 597 24 0 0 18 0 9 0 28441592 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216790 43089 2633 9 0 211248 0
[pid=30806/tid=30808] ppid=30804 vsize=867160 CPUtime=5.13
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 15762 0 1 0 501 12 0 0 25 0 9 0 28441593 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4126650553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867160 CPUtime=0.93
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 28954 0 0 0 82 11 0 0 16 0 9 0 28441595 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867160 CPUtime=0
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28441595 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867160 CPUtime=0
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28441595 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867160 CPUtime=0
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28441597 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867160 CPUtime=0.12
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 484 0 0 0 12 0 0 0 16 0 9 0 28441597 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867160 CPUtime=0
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28441597 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867160 CPUtime=0
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28441597 887971840 43089 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867160
[startup+12.702 s]
/proc/loadavg: 2.08 2.06 2.01 3/89 30819
/proc/meminfo: memFree=1420000/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=12.54
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 107687 267 1 0 1210 42 0 2 18 0 9 0 28441592 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59830 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=10.2
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 19285 267 1 0 1005 13 0 2 25 0 9 0 28441593 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.26
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 672 267 0 0 24 0 0 2 15 0 9 0 28441597 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59830 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867572
[startup+25.5028 s]
/proc/loadavg: 2.06 2.05 2.01 3/89 30819
/proc/meminfo: memFree=1420128/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=25.22
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 107776 267 1 0 2478 42 0 2 18 0 9 0 28441592 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59833 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=22.87
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 19369 267 1 0 2272 13 0 2 25 0 9 0 28441593 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4126847920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 677 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 867572
[startup+51.1025 s]
/proc/loadavg: 2.04 2.05 2.01 3/89 30819
/proc/meminfo: memFree=1420128/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=50.58
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 107941 267 1 0 5014 42 0 2 18 0 9 0 28441592 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59833 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=48.23
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 19534 267 1 0 4808 13 0 2 25 0 9 0 28441593 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4126847988 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 677 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=515.04
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21539 267 1 0 51486 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4126847506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (KiB) 867572
Solver just ended. Dumping a history of the last processes samples
[startup+524.707 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 30821
/proc/meminfo: memFree=1419744/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=519.78
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 109963 267 1 0 51931 45 0 2 18 0 9 0 28441592 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59835 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=517.42
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21554 267 1 0 51724 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4126847526 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.78
Current children cumulated vsize (KiB) 867572
[startup+527.901 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 30821
/proc/meminfo: memFree=1419744/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=522.95
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 109983 267 1 0 52248 45 0 2 18 0 9 0 28441592 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59835 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=520.59
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21574 267 1 0 52041 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4126847439 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 522.95
Current children cumulated vsize (KiB) 867572
[startup+531.103 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 30821
/proc/meminfo: memFree=1419744/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=526.12
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 109989 267 1 0 52565 45 0 2 18 0 9 0 28441592 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59835 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=523.76
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21580 267 1 0 52358 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 526.12
Current children cumulated vsize (KiB) 867572
[startup+531.903 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 30821
/proc/meminfo: memFree=1419744/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=526.91
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 109989 267 1 0 52644 45 0 2 18 0 9 0 28441592 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59835 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=524.55
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21580 267 1 0 52437 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4126847365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 526.91
Current children cumulated vsize (KiB) 867572
[startup+532.303 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 30821
/proc/meminfo: memFree=1419744/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=527.31
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 109989 267 1 0 52684 45 0 2 18 0 9 0 28441592 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59835 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=524.95
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21580 267 1 0 52477 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4126847656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) S 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 527.31
Current children cumulated vsize (KiB) 867572
[startup+532.703 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 30821
/proc/meminfo: memFree=1419744/2055920 swapFree=4192812/4192956
[pid=30806] ppid=30804 vsize=867572 CPUtime=527.7
/proc/30806/stat : 30806 (java) S 30804 30806 28929 0 -1 0 109990 267 1 0 52723 45 0 2 18 0 9 0 28441592 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30806/statm: 216893 59835 2661 9 0 211329 0
[pid=30806/tid=30808] ppid=30804 vsize=867572 CPUtime=525.34
/proc/30806/task/30808/stat : 30808 (java) R 30804 30806 28929 0 -1 64 21581 267 1 0 52516 16 0 2 25 0 9 0 28441593 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 103216372 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30809] ppid=30804 vsize=867572 CPUtime=2.07
/proc/30806/task/30809/stat : 30809 (java) S 30804 30806 28929 0 -1 64 86872 267 0 0 180 25 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30810] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30810/stat : 30810 (java) S 30804 30806 28929 0 -1 64 20 267 0 0 0 0 0 2 17 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30811] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30811/stat : 30811 (java) S 30804 30806 28929 0 -1 64 16 267 0 0 0 0 0 2 16 0 9 0 28441595 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30812] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30812/stat : 30812 (java) S 30804 30806 28929 0 -1 64 2 267 0 0 0 0 0 2 18 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30813] ppid=30804 vsize=867572 CPUtime=0.27
/proc/30806/task/30813/stat : 30813 (java) S 30804 30806 28929 0 -1 64 679 267 0 0 25 0 0 2 16 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30814] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30814/stat : 30814 (java) S 30804 30806 28929 0 -1 64 0 267 0 0 0 0 0 2 19 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30806/tid=30815] ppid=30804 vsize=867572 CPUtime=0.02
/proc/30806/task/30815/stat : 30815 (java) R 30804 30806 28929 0 -1 64 7 267 0 0 0 0 0 2 15 0 9 0 28441597 888393728 59835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 527.7
Current children cumulated vsize (KiB) 867572
Child status: 0
Real time (s): 532.791
CPU time (s): 527.753
CPU user time (s): 527.238
CPU system time (s): 0.514921
CPU usage (%): 99.0543
Max. virtual memory (cumulated for all children) (KiB): 873168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 527.238
system time used= 0.514921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110314
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= 12031
involuntary context switches= 29505
runsolver used 0.715891 second user time and 1.71974 second system time
The end
Begin job on node39 at 2009-07-12 17:49:36
IDJOB=2097649
IDBENCH=57590
IDSOLVER=773
FILE ID=node39/2097649-1247413774
PBS_JOBID= 9510566
Free space on /tmp= 66408 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-11_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-2097649-1247413774/watcher-2097649-1247413774 -o /tmp/evaluation-result-2097649-1247413774/solver-2097649-1247413774 -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-2097649-1247413774.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9a1e5061af5a11aec5f3135ecda7e6f0
RANDOM SEED=1164238404
node39.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.236
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.236
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: 1649864 kB
Buffers: 37144 kB
Cached: 126872 kB
SwapCached: 0 kB
Active: 285752 kB
Inactive: 54544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1649864 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 24004 kB
Writeback: 0 kB
Mapped: 196736 kB
Slab: 50704 kB
Committed_AS: 995768 kB
PageTables: 2100 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= 66404 MiB
End job on node39 at 2009-07-12 17:58:28