0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.29/0.31
0.29/0.31 instance
0.29/0.31 name=HOME/instance-1086413-1215239234.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.38/0.48
0.38/0.48 variables being loaded...
0.89/0.97 nbVariables=2250 nbDomainTypes=22 minDomainSize=42 maxDomainSize=998 nbTotalValues=1531733
0.89/0.97 => wckTime=0.733 cpuTime=0.5 mem=40M571
0.89/0.97
0.89/0.97 predicates being loaded...
0.98/1.03
0.98/1.03 constraints being loaded...
21.29/21.57
21.29/21.57 INFO : Stopping converting binary constraints (cpu=20.49, mem = 68M547)
38.92/39.38 nbConstraints=22587 nbGlobalConstraints=34 nbMergedConstraints=20146 nbConvertedConstraints=43
38.92/39.38 nbConvertConstraintsChecks=38583136 nbExtensionStructures=42 nbSharedExtensionStructures=2
38.92/39.38 nbConflictsStructures=738 nbSharedConflictsStructures=510 nbUnbuiltConflictsStructures=17816
38.92/39.38 nbSharedBinaryRepresentations=45706 nbEvaluationManagers=18512 nbSharedEvaluationManagers=3998 minDegree=3
38.92/39.38 maxDegree=71 minArity=2 avgArity=2.01 maxArity=8 nbGenerators=0 nbFusions=0 symmetryWckTime=7.263
38.92/39.38 symmetryCpuTime=6.71 nbCliques=34
38.92/39.38 => wckTime=39.142 cpuTime=36.63 mem=123M520
39.61/40.00
39.61/40.00 solver IterativeSystematicSolver being built...
40.20/40.69
40.20/40.69 INFO : Forward propagation technique limited
40.59/41.04 => wckTime=40.802 cpuTime=37.18 mem=304M152
41.20/41.64
41.20/41.64 preprocessing
41.20/41.64 nbConstraintChecks=786436 nbValidityChecks=6741 nbPropagations=22 nbRevisions=483 nbUselessRevisions=253
41.20/41.64 nbRemovedValues=62944 detectedInconsistency=yes
41.20/41.64 => wckTime=0.572 cpuTime=0.55 mem=304M152
41.20/41.64
41.20/41.64 global
41.20/41.64 nbConstraintChecks=786436 nbValidityChecks=6741 nbPropagations=22 nbRevisions=483 nbUselessRevisions=253
41.20/41.64 nbRestartNogoods=0 solvingWckTime=0.575 solvingCpuTime=0.55 expiredTime=no totalExploration=yes
41.20/41.64 nbFoundSolutions=0 globalCpuTime=37.82
41.20/41.64 => wckTime=41.403 cpuTime=37.76 mem=304M152
41.20/41.65
41.20/41.65 s UNSATISFIABLE
41.20/41.65 d NODES 0
41.20/41.65 d CHECKS 786436
41.20/41.65
41.20/41.65 totalWckTime=41.47 totalCpuTime=37.83
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086413-1215239234/watcher-1086413-1215239234 -o /tmp/evaluation-result-1086413-1215239234/solver-1086413-1215239234 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086413-1215239234.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: 2.14 2.19 2.18 4/80 24715
/proc/meminfo: memFree=1181344/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=1616 CPUtime=0
/proc/24715/stat : 24715 (java) D 24713 24715 23532 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2002897585 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/24715/statm: 404 148 122 9 0 46 0
[startup+0.105193 s]
/proc/loadavg: 2.14 2.19 2.18 4/80 24715
/proc/meminfo: memFree=1181344/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=865884 CPUtime=0.09
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 3826 0 1 0 7 2 0 0 18 0 9 0 2002897585 886665216 3275 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216471 3275 1731 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.201207 s]
/proc/loadavg: 2.14 2.19 2.18 4/80 24715
/proc/meminfo: memFree=1181344/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=866048 CPUtime=0.18
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 4730 0 1 0 15 3 0 0 18 0 9 0 2002897585 886833152 4157 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216512 4157 1852 9 0 211060 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.30122 s]
/proc/loadavg: 2.14 2.19 2.18 4/80 24715
/proc/meminfo: memFree=1181344/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=866196 CPUtime=0.29
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 5624 0 1 0 25 4 0 0 18 0 9 0 2002897585 886984704 5038 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216549 5038 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.701279 s]
/proc/loadavg: 2.14 2.19 2.18 4/80 24715
/proc/meminfo: memFree=1181344/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867020 CPUtime=0.69
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 10723 0 1 0 62 7 0 0 18 0 9 0 2002897585 887828480 10093 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216755 10093 1968 9 0 211283 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867020
[startup+1.5024 s]
/proc/loadavg: 2.14 2.19 2.18 3/89 24724
/proc/meminfo: memFree=1091288/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867560 CPUtime=1.48
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 25104 0 1 0 134 14 0 0 18 0 9 0 2002897585 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216890 24462 2025 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867560 CPUtime=1.2
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15745 0 1 0 112 8 0 0 25 0 9 0 2002897586 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4126850204 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867560 CPUtime=0.06
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 8027 0 0 0 3 3 0 0 16 0 9 0 2002897587 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867560 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867560 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867560 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867560 CPUtime=0.18
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 635 0 0 0 18 0 0 0 16 0 9 0 2002897590 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867560 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867560 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888381440 24462 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867560
[startup+3.10264 s]
/proc/loadavg: 2.14 2.19 2.18 4/89 24724
/proc/meminfo: memFree=1074136/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867472 CPUtime=3.07
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 30806 0 1 0 291 16 0 0 18 0 9 0 2002897585 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216868 30140 2004 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867472 CPUtime=2.62
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15747 0 1 0 253 9 0 0 25 0 9 0 2002897586 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 103813016 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867472 CPUtime=0.24
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 13727 0 0 0 19 5 0 0 16 0 9 0 2002897587 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867472 CPUtime=0.18
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 635 0 0 0 18 0 0 0 17 0 9 0 2002897590 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888291328 30140 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867472
[startup+6.3011 s]
/proc/loadavg: 2.13 2.19 2.18 3/89 24724
/proc/meminfo: memFree=1061528/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867472 CPUtime=6.23
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 32427 0 1 0 606 17 0 0 18 0 9 0 2002897585 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216868 31756 2006 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867472 CPUtime=5.66
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15781 0 1 0 556 10 0 0 25 0 9 0 2002897586 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4126906359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867472 CPUtime=0.35
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 15297 0 0 0 29 6 0 0 16 0 9 0 2002897587 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867472 CPUtime=0.2
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 652 0 0 0 20 0 0 0 15 0 9 0 2002897590 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) R 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888291328 31756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867472
[startup+12.702 s]
/proc/loadavg: 2.12 2.19 2.17 3/89 24725
/proc/meminfo: memFree=1061464/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867472 CPUtime=12.57
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 32432 0 1 0 1240 17 0 0 18 0 9 0 2002897585 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216868 31761 2006 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867472 CPUtime=11.99
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15782 0 1 0 1189 10 0 0 25 0 9 0 2002897586 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4126909623 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867472 CPUtime=0.35
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 15297 0 0 0 29 6 0 0 16 0 9 0 2002897587 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867472 CPUtime=0.21
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 656 0 0 0 21 0 0 0 15 0 9 0 2002897590 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888291328 31761 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867472
[startup+25.5019 s]
/proc/loadavg: 2.09 2.18 2.17 4/89 24725
/proc/meminfo: memFree=1039640/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867472 CPUtime=25.25
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 38455 0 1 0 2504 21 0 0 18 0 9 0 2002897585 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216868 37776 2007 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867472 CPUtime=24.17
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15793 0 1 0 2407 10 0 0 25 0 9 0 2002897586 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4127002578 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867472 CPUtime=0.77
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 21263 0 0 0 68 9 0 0 16 0 9 0 2002897587 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867472 CPUtime=0.28
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 702 0 0 0 28 0 0 0 16 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867472
Solver just ended. Dumping a history of the last processes samples
[startup+25.6029 s]
/proc/loadavg: 2.09 2.18 2.17 4/89 24725
/proc/meminfo: memFree=1039640/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867472 CPUtime=25.35
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 38455 0 1 0 2514 21 0 0 18 0 9 0 2002897585 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216868 37776 2007 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867472 CPUtime=24.27
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15793 0 1 0 2417 10 0 0 25 0 9 0 2002897586 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4127076525 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867472 CPUtime=0.77
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 21263 0 0 0 68 9 0 0 16 0 9 0 2002897587 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867472 CPUtime=0.28
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 702 0 0 0 28 0 0 0 16 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888291328 37776 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867472
[startup+32.0069 s]
/proc/loadavg: 2.08 2.17 2.17 3/89 24725
/proc/meminfo: memFree=1014680/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867472 CPUtime=31.69
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 44114 0 1 0 3145 24 0 0 18 0 9 0 2002897585 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216868 43426 2007 9 0 211396 0
[pid=24715/tid=24717] ppid=24713 vsize=867472 CPUtime=30.01
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 15802 0 1 0 2991 10 0 0 25 0 9 0 2002897586 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 103568474 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867472 CPUtime=1.36
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 26911 0 0 0 124 12 0 0 16 0 9 0 2002897587 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002897587 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002897590 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867472 CPUtime=0.28
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 704 0 0 0 28 0 0 0 15 0 9 0 2002897590 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002897590 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867472 CPUtime=0
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002897590 888291328 43426 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.69
Current children cumulated vsize (KiB) 867472
[startup+38.4028 s]
/proc/loadavg: 2.14 2.18 2.17 3/89 24729
/proc/meminfo: memFree=1003928/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867796 CPUtime=38.02
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 50791 1384 1 0 3746 28 25 3 18 0 9 0 2002897585 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216949 46083 2018 9 0 211477 0
[pid=24715/tid=24717] ppid=24713 vsize=867796 CPUtime=36.15
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 19524 1384 1 0 3576 11 25 3 25 0 9 0 2002897586 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4126903889 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867796 CPUtime=1.8
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 29577 1384 0 0 139 13 25 3 16 0 9 0 2002897587 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 13 1384 0 0 0 0 25 3 16 0 9 0 2002897587 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 5 1384 0 0 0 0 25 3 16 0 9 0 2002897587 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 1384 0 0 0 0 25 3 18 0 9 0 2002897590 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867796 CPUtime=0.59
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 845 1384 0 0 31 0 25 3 16 0 9 0 2002897590 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 1384 0 0 0 0 25 3 19 0 9 0 2002897590 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 11 1384 0 0 0 0 25 3 15 0 9 0 2002897590 888623104 46083 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.02
Current children cumulated vsize (KiB) 867796
[startup+40.0011 s]
/proc/loadavg: 2.14 2.18 2.17 4/89 24729
/proc/meminfo: memFree=1003800/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867796 CPUtime=39.61
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 78643 1384 1 0 3901 32 25 3 18 0 9 0 2002897585 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216949 48091 2614 9 0 211477 0
[pid=24715/tid=24717] ppid=24713 vsize=867796 CPUtime=37.12
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 21406 1384 1 0 3672 12 25 3 24 0 9 0 2002897586 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4125956340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867796 CPUtime=2.4
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 55527 1384 0 0 196 16 25 3 21 0 9 0 2002897587 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 17 1384 0 0 0 0 25 3 17 0 9 0 2002897587 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 14 1384 0 0 0 0 25 3 16 0 9 0 2002897587 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 1384 0 0 0 0 25 3 18 0 9 0 2002897590 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867796 CPUtime=0.6
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 852 1384 0 0 32 0 25 3 15 0 9 0 2002897590 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 1384 0 0 0 0 25 3 19 0 9 0 2002897590 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 11 1384 0 0 0 0 25 3 15 0 9 0 2002897590 888623104 48091 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.61
Current children cumulated vsize (KiB) 867796
[startup+40.8063 s]
/proc/loadavg: 2.14 2.18 2.17 4/89 24729
/proc/meminfo: memFree=890392/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867796 CPUtime=40.4
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 124942 1384 1 0 3965 47 25 3 18 0 9 0 2002897585 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216949 82592 2615 9 0 211477 0
[pid=24715/tid=24717] ppid=24713 vsize=867796 CPUtime=37.53
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 31970 1384 1 0 3712 13 25 3 25 0 9 0 2002897586 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867796 CPUtime=2.72
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 91164 1384 0 0 214 30 25 3 16 0 9 0 2002897587 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 17 1384 0 0 0 0 25 3 16 0 9 0 2002897587 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 24 1384 0 0 0 0 25 3 15 0 9 0 2002897587 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 1384 0 0 0 0 25 3 18 0 9 0 2002897590 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867796 CPUtime=0.65
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 940 1384 0 0 37 0 25 3 15 0 9 0 2002897590 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 1384 0 0 0 0 25 3 19 0 9 0 2002897590 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 11 1384 0 0 0 0 25 3 15 0 9 0 2002897590 888623104 82592 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.4
Current children cumulated vsize (KiB) 867796
[startup+41.2012 s]
/proc/loadavg: 2.14 2.18 2.17 4/89 24729
/proc/meminfo: memFree=890392/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867796 CPUtime=40.8
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 133354 1384 1 0 4001 51 25 3 18 0 9 0 2002897585 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216949 90952 2616 9 0 211477 0
[pid=24715/tid=24717] ppid=24713 vsize=867796 CPUtime=37.82
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 32036 1384 1 0 3741 13 25 3 25 0 9 0 2002897586 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4127055031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867796 CPUtime=2.8
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 99492 1384 0 0 219 33 25 3 16 0 9 0 2002897587 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 17 1384 0 0 0 0 25 3 16 0 9 0 2002897587 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 27 1384 0 0 0 0 25 3 15 0 9 0 2002897587 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 1384 0 0 0 0 25 3 18 0 9 0 2002897590 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867796 CPUtime=0.69
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 955 1384 0 0 40 1 25 3 15 0 9 0 2002897590 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 1384 0 0 0 0 25 3 19 0 9 0 2002897590 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 11 1384 0 0 0 0 25 3 15 0 9 0 2002897590 888623104 90952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.8
Current children cumulated vsize (KiB) 867796
[startup+41.6013 s]
/proc/loadavg: 2.14 2.18 2.17 4/89 24729
/proc/meminfo: memFree=890392/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=867796 CPUtime=41.2
/proc/24715/stat : 24715 (java) S 24713 24715 23532 0 -1 0 133360 1384 1 0 4041 51 25 3 18 0 9 0 2002897585 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 216949 90956 2616 9 0 211477 0
[pid=24715/tid=24717] ppid=24713 vsize=867796 CPUtime=38.21
/proc/24715/task/24717/stat : 24717 (java) R 24713 24715 23532 0 -1 64 32038 1384 1 0 3780 13 25 3 25 0 9 0 2002897586 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4126458467 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24718] ppid=24713 vsize=867796 CPUtime=2.8
/proc/24715/task/24718/stat : 24718 (java) S 24713 24715 23532 0 -1 64 99492 1384 0 0 219 33 25 3 16 0 9 0 2002897587 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24719] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24719/stat : 24719 (java) S 24713 24715 23532 0 -1 64 17 1384 0 0 0 0 25 3 16 0 9 0 2002897587 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24720] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24720/stat : 24720 (java) S 24713 24715 23532 0 -1 64 27 1384 0 0 0 0 25 3 15 0 9 0 2002897587 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24721] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24721/stat : 24721 (java) S 24713 24715 23532 0 -1 64 0 1384 0 0 0 0 25 3 18 0 9 0 2002897590 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24722] ppid=24713 vsize=867796 CPUtime=0.69
/proc/24715/task/24722/stat : 24722 (java) S 24713 24715 23532 0 -1 64 959 1384 0 0 40 1 25 3 15 0 9 0 2002897590 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24723] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24723/stat : 24723 (java) S 24713 24715 23532 0 -1 64 2 1384 0 0 0 0 25 3 19 0 9 0 2002897590 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24715/tid=24724] ppid=24713 vsize=867796 CPUtime=0.28
/proc/24715/task/24724/stat : 24724 (java) S 24713 24715 23532 0 -1 64 11 1384 0 0 0 0 25 3 15 0 9 0 2002897590 888623104 90956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.2
Current children cumulated vsize (KiB) 867796
[startup+41.702 s]
/proc/loadavg: 2.14 2.18 2.17 4/89 24729
/proc/meminfo: memFree=890392/2055920 swapFree=4180256/4192956
[pid=24715] ppid=24713 vsize=0 CPUtime=41.29
/proc/24715/stat : 24715 (java) Z 24713 24715 23532 0 -1 12 133393 1384 1 0 4046 55 25 3 16 0 2 0 2002897585 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24715/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 41.29
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 41.7168
CPU time (s): 41.3127
CPU user time (s): 40.7118
CPU system time (s): 0.600908
CPU usage (%): 99.0314
Max. virtual memory (cumulated for all children) (KiB): 867884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.7118
system time used= 0.600908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134777
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= 2838
involuntary context switches= 4463
runsolver used 0.06299 second user time and 0.136979 second system time
The end
Begin job on node22 at 2008-07-05 08:27:14
IDJOB=1086413
IDBENCH=57811
IDSOLVER=364
FILE ID=node22/1086413-1215239234
PBS_JOBID= 7881873
Free space on /tmp= 66452 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp37/normalized-fapp37-2250-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086413-1215239234/watcher-1086413-1215239234 -o /tmp/evaluation-result-1086413-1215239234/solver-1086413-1215239234 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086413-1215239234.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 45601ae44b6d0b6d8dd8e225136d73eb
RANDOM SEED=1564068987
node22.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.267
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.267
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: 1181760 kB
Buffers: 49296 kB
Cached: 198156 kB
SwapCached: 6596 kB
Active: 730804 kB
Inactive: 86304 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1181760 kB
SwapTotal: 4192956 kB
SwapFree: 4180256 kB
Dirty: 8012 kB
Writeback: 0 kB
Mapped: 583132 kB
Slab: 41232 kB
Committed_AS: 4220172 kB
PageTables: 2832 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= 66448 MiB
End job on node22 at 2008-07-05 08:27:56