0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2097727-1247413888.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.36 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1098 nbTotalValues=109801
0.29/0.36 => wckTime=0.122 cpuTime=0.11 mem=10M830
0.29/0.36
0.29/0.36 predicates being loaded...
0.39/0.42
0.39/0.42 constraints being loaded...
0.98/1.07 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
0.98/1.07 nbConvertConstraintsChecks=60390 nbExtensionStructures=55 nbSharedExtensionStructures=45
0.98/1.07 nbConflictsStructures=55 nbSharedConflictsStructures=45 nbSharedBinaryRepresentations=60388 minDegree=20
0.98/1.07 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.217
0.98/1.08 symmetryCpuTime=0.17 nbCliques=10
0.98/1.08 => wckTime=0.832 cpuTime=0.62 mem=25M641
1.07/1.15
1.07/1.15 solver IterativeSystematicSolver being built...
1.17/1.22
1.17/1.22 INFO : Forward propagation technique limited
1.17/1.28 => wckTime=1.043 cpuTime=0.74 mem=26M893
1.27/1.33
1.27/1.33 preprocessing
1.27/1.33 nbConstraintChecks=109800 nbPropagations=108 nbRevisions=106 nbUselessRevisions=6 nbRemovedValues=17016
1.27/1.33 detectedInconsistency=no
1.27/1.33 => wckTime=0.038 cpuTime=0.03 mem=27M842
6.02/6.14
6.02/6.14 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=17M562)
167.36/168.91
167.36/168.91 search
167.36/168.91 run=18 nbConstraintChecks=4787478 minDepth=11 maxDepth=101 nbPropagations=4677526 nbRevisions=21014
167.36/168.91 nbUselessRevisions=19114 nbAssignments=31311 nbFailedAssignments=29536 nbBacktracks=1481 nbVisitedNodes=61904
167.36/168.91 nbRestartNogoods=2218 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=1 nbIEliminables=8.42
167.36/168.91 nbDEliminables=0 nbPEliminables=0
167.36/168.91 => wckTime=167.622 cpuTime=165.98 mem=54M598
167.36/168.92
167.36/168.92 global
167.36/168.92 nbConstraintChecks=4897278 nbPropagations=4677634 nbRevisions=21120 nbUselessRevisions=19120
167.36/168.92 nbRestartNogoods=2218 solvingWckTime=167.625 solvingCpuTime=165.98 expiredTime=no totalExploration=no
167.36/168.92 nbFoundSolutions=1 firstSolutionCpuTime=166.71 globalCpuTime=166.75
167.36/168.92 => wckTime=168.674 cpuTime=166.72 mem=54M598
167.36/168.92
167.36/168.92 s SATISFIABLE
167.36/168.92 v 1097 3 7 129 128 0 761 4 146 26 22 423 0 123 129 911 421 1059 1 945 1060 1 2 146 28 945 27 1052 119 790 1016 911 1016 1086 1 877 444 0 720 448 26 1009 300 1071 1059 1016 0 7 866 2 963 2 963 1068 421 1059 28 1 1071 0 851 1030 1086 0 123 1064 438 851 1061 128 476 4 1 819 1092 518 412 1068 0 1079 444 0 27 818 877 819 2 300 944 1061 1 1050 866 790 882 3 518 2 854 761 0
167.36/168.92 d NODES 31311
167.36/168.92 d CHECKS 4897278
167.36/168.92
167.36/168.92 totalWckTime=168.741 totalCpuTime=166.75
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097727-1247413888/watcher-2097727-1247413888 -o /tmp/evaluation-result-2097727-1247413888/solver-2097727-1247413888 -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-2097727-1247413888.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 4/80 31895
/proc/meminfo: memFree=1739136/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=1616 CPUtime=0
/proc/31895/stat : 31895 (java) D 31893 31895 30599 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28455659 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/31895/statm: 404 148 122 9 0 46 0
[startup+0.042285 s]
/proc/loadavg: 1.93 2.00 1.99 4/80 31895
/proc/meminfo: memFree=1739136/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=861936 CPUtime=0.03
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 2298 0 1 0 2 1 0 0 18 0 5 0 28455659 882622464 1898 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 215484 1898 867 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.102267 s]
/proc/loadavg: 1.93 2.00 1.99 4/80 31895
/proc/meminfo: memFree=1739136/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=865940 CPUtime=0.09
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 3777 0 1 0 7 2 0 0 18 0 9 0 28455659 886722560 3235 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 216485 3236 1708 9 0 210970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865940
[startup+0.301211 s]
/proc/loadavg: 1.93 2.00 1.99 4/80 31895
/proc/meminfo: memFree=1739136/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=866432 CPUtime=0.29
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 6016 0 1 0 25 4 0 0 18 0 9 0 28455659 887226368 5382 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 216608 5384 1986 9 0 211066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866432
[startup+0.702095 s]
/proc/loadavg: 1.93 2.00 1.99 4/80 31895
/proc/meminfo: memFree=1739136/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=867700 CPUtime=0.68
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 9608 0 1 0 62 6 0 0 18 0 9 0 28455659 888524800 8960 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 216926 8960 2039 9 0 211362 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867700
[startup+1.50286 s]
/proc/loadavg: 1.93 2.00 1.99 5/92 31908
/proc/meminfo: memFree=1705496/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868464 CPUtime=1.47
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 20490 326 1 0 133 13 1 0 18 0 9 0 28455659 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217116 12599 2658 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868464 CPUtime=1.11
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 14229 326 1 0 99 11 1 0 21 0 9 0 28455660 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4127164505 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868464 CPUtime=0.07
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 4508 326 0 0 6 0 1 0 17 0 9 0 28455662 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 17 0 9 0 28455662 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868464 CPUtime=0.27
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 914 326 0 0 26 0 1 0 15 0 9 0 28455664 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 4 326 0 0 0 0 1 0 15 0 9 0 28455664 889307136 12599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868464
[startup+3.10141 s]
/proc/loadavg: 1.93 2.00 1.99 3/89 31908
/proc/meminfo: memFree=1696992/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868464 CPUtime=3.05
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 22761 326 1 0 289 15 1 0 18 0 9 0 28455659 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217116 14863 2658 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868464 CPUtime=2.66
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 16476 326 1 0 253 12 1 0 25 0 9 0 28455660 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4127136742 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868464 CPUtime=0.07
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 4508 326 0 0 6 0 1 0 17 0 9 0 28455662 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 17 0 9 0 28455662 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868464 CPUtime=0.3
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 938 326 0 0 29 0 1 0 15 0 9 0 28455664 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889307136 14863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868464 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 4 326 0 0 0 0 1 0 15 0 9 0 28455664 889307136 14863 996147200 134512640 134550932 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) 868464
[startup+6.30249 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1666016/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=6.22
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 28845 326 1 0 604 17 1 0 18 0 9 0 28455659 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 20724 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=5.8
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20484 326 1 0 565 14 1 0 25 0 9 0 28455660 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4127144327 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.09
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 6508 326 0 0 7 1 1 0 17 0 9 0 28455662 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.31
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 983 326 0 0 30 0 1 0 15 0 9 0 28455664 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 20724 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868376
[startup+12.7016 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1665768/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=12.56
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 28863 326 1 0 1238 17 1 0 18 0 9 0 28455659 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 20735 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=12.11
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20489 326 1 0 1196 14 1 0 25 0 9 0 28455660 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4127034948 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.09
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 6508 326 0 0 7 1 1 0 16 0 9 0 28455662 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 996 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 20735 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868376
[startup+25.503 s]
/proc/loadavg: 2.08 2.03 2.00 3/89 31908
/proc/meminfo: memFree=1661928/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=25.25
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29822 326 1 0 2506 18 1 0 18 0 9 0 28455659 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21688 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=24.79
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20492 326 1 0 2464 14 1 0 25 0 9 0 28455660 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4127136576 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.1
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7464 326 0 0 8 1 1 0 16 0 9 0 28455662 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 996 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21688 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868376
[startup+51.1026 s]
/proc/loadavg: 2.05 2.03 2.00 3/89 31908
/proc/meminfo: memFree=1661928/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=50.63
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29842 326 1 0 5044 18 1 0 18 0 9 0 28455659 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21703 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=50.17
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20497 326 1 0 5001 15 1 0 25 0 9 0 28455660 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4127171610 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.11
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7478 326 0 0 9 1 1 0 16 0 9 0 28455662 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 997 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21703 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=100.89
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20507 326 1 0 10073 15 1 0 25 0 9 0 28455660 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4127136654 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7485 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 997 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21710 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 868376
[startup+162.303 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1661544/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=160.82
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29890 326 1 0 16063 18 1 0 18 0 9 0 28455659 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21739 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=160.35
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20509 326 1 0 16019 15 1 0 25 0 9 0 28455660 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4127176542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7513 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 998 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 868376
Solver just ended. Dumping a history of the last processes samples
[startup+163.102 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1661544/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=161.62
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29890 326 1 0 16143 18 1 0 18 0 9 0 28455659 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21739 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=161.14
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20509 326 1 0 16098 15 1 0 25 0 9 0 28455660 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4127137416 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7513 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 998 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21739 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 868376
[startup+166.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1661480/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=164.79
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29901 326 1 0 16460 18 1 0 18 0 9 0 28455659 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21749 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=164.31
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20510 326 1 0 16415 15 1 0 25 0 9 0 28455660 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4127133024 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7523 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 998 326 0 0 33 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 164.79
Current children cumulated vsize (KiB) 868376
[startup+167.901 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1661480/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=166.37
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29901 326 1 0 16618 18 1 0 18 0 9 0 28455659 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21749 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=165.89
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20510 326 1 0 16573 15 1 0 25 0 9 0 28455660 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4127177264 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7523 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 998 326 0 0 33 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 166.37
Current children cumulated vsize (KiB) 868376
[startup+168.702 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1661480/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=167.17
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29901 326 1 0 16698 18 1 0 18 0 9 0 28455659 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21749 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=166.69
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20510 326 1 0 16653 15 1 0 25 0 9 0 28455660 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4127176462 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7523 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 998 326 0 0 33 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 167.17
Current children cumulated vsize (KiB) 868376
[startup+168.903 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 31908
/proc/meminfo: memFree=1661480/2055920 swapFree=4192812/4192956
[pid=31895] ppid=31893 vsize=868376 CPUtime=167.36
/proc/31895/stat : 31895 (java) S 31893 31895 30599 0 -1 0 29901 326 1 0 16717 18 1 0 18 0 9 0 28455659 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31895/statm: 217094 21749 2639 9 0 211552 0
[pid=31895/tid=31897] ppid=31893 vsize=868376 CPUtime=166.88
/proc/31895/task/31897/stat : 31897 (java) R 31893 31895 30599 0 -1 64 20510 326 1 0 16672 15 1 0 25 0 9 0 28455660 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4127171904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31898] ppid=31893 vsize=868376 CPUtime=0.12
/proc/31895/task/31898/stat : 31898 (java) S 31893 31895 30599 0 -1 64 7523 326 0 0 10 1 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31899] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31899/stat : 31899 (java) S 31893 31895 30599 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31900] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31900/stat : 31900 (java) S 31893 31895 30599 0 -1 64 11 326 0 0 0 0 1 0 16 0 9 0 28455662 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31901] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31901/stat : 31901 (java) S 31893 31895 30599 0 -1 64 2 326 0 0 0 0 1 0 23 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31902] ppid=31893 vsize=868376 CPUtime=0.34
/proc/31895/task/31902/stat : 31902 (java) S 31893 31895 30599 0 -1 64 998 326 0 0 33 0 1 0 16 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31895/tid=31903] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31903/stat : 31903 (java) S 31893 31895 30599 0 -1 64 0 326 0 0 0 0 1 0 24 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31895/tid=31904] ppid=31893 vsize=868376 CPUtime=0.01
/proc/31895/task/31904/stat : 31904 (java) S 31893 31895 30599 0 -1 64 35 326 0 0 0 0 1 0 15 0 9 0 28455664 889217024 21749 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 167.36
Current children cumulated vsize (KiB) 868376
Child status: 0
Real time (s): 168.941
CPU time (s): 167.418
CPU user time (s): 167.209
CPU system time (s): 0.208968
CPU usage (%): 99.0981
Max. virtual memory (cumulated for all children) (KiB): 868508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.209
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30263
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= 5365
involuntary context switches= 5816
runsolver used 0.235964 second user time and 0.541917 second system time
The end
Begin job on node16 at 2009-07-12 17:51:28
IDJOB=2097727
IDBENCH=57654
IDSOLVER=773
FILE ID=node16/2097727-1247413888
PBS_JOBID= 9510612
Free space on /tmp= 66460 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-02-1097.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-2097727-1247413888/watcher-2097727-1247413888 -o /tmp/evaluation-result-2097727-1247413888/solver-2097727-1247413888 -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-2097727-1247413888.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= db569eb1a10e368cbf1419b196a88571
RANDOM SEED=20397306
node16.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: 1739616 kB
Buffers: 40092 kB
Cached: 130792 kB
SwapCached: 0 kB
Active: 178704 kB
Inactive: 80396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1739616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 108628 kB
Slab: 42260 kB
Committed_AS: 995004 kB
PageTables: 2000 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66460 MiB
End job on node16 at 2009-07-12 17:54:17