0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.20/0.24
0.20/0.24 configuration
0.20/0.24 name=esac.xml
0.20/0.28
0.20/0.28 instance
0.20/0.28 name=HOME/instance-1074818-1215179879.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.39
0.29/0.39 variables being loaded...
0.39/0.49 nbVariables=400 nbDomainTypes=400 minDomainSize=1290 maxDomainSize=1388 nbTotalValues=534985
0.39/0.49 => wckTime=0.241 cpuTime=0.17 mem=19M653
0.39/0.49
0.39/0.49 predicates being loaded...
0.49/0.54
0.49/0.54 constraints being loaded...
3.26/3.38 nbConstraints=7620 nbGlobalConstraints=7620 nbSharedBinaryRepresentations=0 minDegree=39 maxDegree=39
3.26/3.38 minArity=2 avgArity=2.05 maxArity=20 nbGenerators=0 nbFusions=0 symmetryWckTime=1.372 symmetryCpuTime=1.22
3.26/3.38 nbCliques=20
3.26/3.38 => wckTime=3.135 cpuTime=2.72 mem=60M128
3.45/3.57
3.45/3.57 solver IterativeSystematicSolver being built...
3.55/3.64
3.55/3.64 INFO : Forward propagation technique limited
3.65/3.74 => wckTime=3.495 cpuTime=2.86 mem=57M85
3.74/3.81
3.74/3.81 preprocessing
3.74/3.81 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.74/3.81 detectedInconsistency=no
3.74/3.81 => wckTime=0.044 cpuTime=0.03 mem=59M24
7.90/8.08
7.90/8.08 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=249, mem=82M24)
8.89/9.10
8.89/9.10 search
8.89/9.10 run=1 nbConstraintChecks=9565 minDepth=401 maxDepth=400 nbPropagations=19246 nbRevisions=0
8.89/9.10 nbUselessRevisions=0 nbAssignments=677 nbFailedAssignments=10 nbBacktracks=4 nbVisitedNodes=692
8.89/9.10 nbRestartNogoods=4 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=14.32 nbIEliminables=0 nbDEliminables=0
8.89/9.10 nbPEliminables=0
8.89/9.10 => wckTime=5.334 cpuTime=5.15 mem=79M302
8.99/9.10
8.99/9.10 global
8.99/9.10 nbConstraintChecks=9565 nbPropagations=19646 nbRestartNogoods=4 solvingWckTime=5.336 solvingCpuTime=5.15
8.99/9.10 expiredTime=no totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=7.97 globalCpuTime=8.07
8.99/9.10 => wckTime=8.852 cpuTime=8.03 mem=79M302
8.99/9.10
8.99/9.10 s SATISFIABLE
8.99/9.10 v 0 1171 73 416 439 424 240 95 192 332 983 811 583 1088 1252 564 472 899 1227 654 702 360 839 966 1029 779 1015 0 1046 1038 75 172 269 534 931 1053 618 895 439 1000 333 379 0 772 530 391 722 73 612 259 702 650 1004 955 472 855 553 1201 75 170 31 460 265 653 825 798 1043 1245 584 523 712 125 1210 363 1070 58 1092 966 167 0 647 358 734 1216 98 517 363 789 0 249 588 1125 492 1279 695 934 1070 862 443 162 1094 712 764 434 191 0 173 1046 246 650 811 460 553 153 95 290 964 436 385 895 511 349 580 443 285 802 335 379 512 428 311 168 618 663 70 1248 1042 764 0 227 703 877 1109 546 1151 487 826 944 0 511 98 385 236 261 1239 916 806 31 759 616 357 1033 1062 98 541 702 899 174 173 271 1167 824 482 973 626 487 0 453 476 1187 759 960 916 96 1072 1151 1109 612 689 839 355 887 192 424 0 1004 362 1029 520 290 887 95 1021 288 1254 663 584 191 125 541 144 0 727 452 798 856 1176 357 1049 1142 567 343 269 0 738 655 902 990 435 162 511 249 1245 1081 826 1112 969 96 1169 931 0 1151 868 667 172 1000 931 1204 587 1104 781 439 261 415 517 1053 831 335 1240 73 667 1187 0 896 1292 1033 191 740 724 577 616 1110 789 1260 360 271 973 435 95 502 264 450 993 1081 877 567 1176 0 740 756 510 655 1239 806 983 355 227 98 934 191 144 434 265 571 766 969 91 1130 1149 868 799 362 450 927 944 0 508 1033 784 703 361 1014 1241 825 335 156 702 929 993 899 534 288 437 882 265 728 91 0 972 626 182 1043 997 1149 941 738 879 588 91 551 577 361 269 1110 653 1088 0 807 759 460 1125 424 1042 1292 856 992 802 902 561 654 361 472 0 256 349 73 724 167 1216 492 437 252 1092 307 753 424 1223 929 1171 1290 722 1022 75 405 174 623 779 856 510 0
8.99/9.10 d NODES 677
8.99/9.10 d CHECKS 9565
8.99/9.10
8.99/9.10 totalWckTime=8.918 totalCpuTime=8.08
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074818-1215179879/watcher-1074818-1215179879 -o /tmp/evaluation-result-1074818-1215179879/solver-1074818-1215179879 -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-1074818-1215179879.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.01 1.45 1.24 3/81 11207
/proc/meminfo: memFree=1585216/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=862848 CPUtime=0.03
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 2405 0 1 0 2 1 0 0 18 0 7 0 1996962331 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 215712 1984 910 9 0 210691 0
[pid=11207/tid=11208] ppid=11205 vsize=862848 CPUtime=0.02
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 1687 0 1 0 2 0 0 0 18 0 7 0 1996962332 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=862848 CPUtime=0
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 19 0 7 0 1996962333 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=862848 CPUtime=0
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 10 0 0 0 0 0 0 0 19 0 7 0 1996962333 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=862848 CPUtime=0
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 20 0 7 0 1996962333 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=862848 CPUtime=0
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 18 0 7 0 1996962335 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=862848 CPUtime=0
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 23 0 0 0 0 0 0 0 19 0 7 0 1996962335 883556352 1984 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[startup+0.13333 s]
/proc/loadavg: 2.01 1.45 1.24 3/81 11207
/proc/meminfo: memFree=1585216/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=866004 CPUtime=0.12
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 4093 0 1 0 11 1 0 0 18 0 9 0 1996962331 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 216501 3529 1797 9 0 211056 0
[pid=11207/tid=11208] ppid=11205 vsize=866004 CPUtime=0.1
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 3168 0 1 0 9 1 0 0 18 0 9 0 1996962332 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 103675745 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=866004 CPUtime=0
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1996962333 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=866004 CPUtime=0
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996962333 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=866004 CPUtime=0
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996962333 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=866004 CPUtime=0
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996962335 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=866004 CPUtime=0.01
/proc/11207/task/11213/stat : 11213 (java) R 11205 11207 11002 0 -1 64 229 0 0 0 1 0 0 0 18 0 9 0 1996962335 886788096 3529 996147200 134512640 134550740 4294955968 18446744073709551615 102091377 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 866004
[startup+0.202341 s]
/proc/loadavg: 2.01 1.45 1.24 3/81 11207
/proc/meminfo: memFree=1585216/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=867056 CPUtime=0.2
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 4836 0 1 0 18 2 0 0 18 0 9 0 1996962331 887865344 4263 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 216764 4263 1861 9 0 211312 0
[pid=11207/tid=11208] ppid=11205 vsize=867056 CPUtime=0.16
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 3905 0 1 0 15 1 0 0 17 0 9 0 1996962332 887865344 4263 996147200 134512640 134550740 4294955968 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11207/tid=11209] ppid=11205 vsize=867056 CPUtime=0
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1996962333 887865344 4263 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=867056 CPUtime=0
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996962333 887865344 4263 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=867056 CPUtime=0
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996962333 887865344 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=867056 CPUtime=0
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996962335 887865344 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=867056 CPUtime=0.01
/proc/11207/task/11213/stat : 11213 (java) R 11205 11207 11002 0 -1 64 235 0 0 0 1 0 0 0 17 0 9 0 1996962335 887865344 4264 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 867056
[startup+0.302358 s]
/proc/loadavg: 2.01 1.45 1.24 3/81 11207
/proc/meminfo: memFree=1585216/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=867276 CPUtime=0.29
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 5922 0 1 0 27 2 0 0 18 0 9 0 1996962331 888090624 5296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 216819 5296 1956 9 0 211347 0
[pid=11207/tid=11208] ppid=11205 vsize=867276 CPUtime=0.24
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 4936 0 1 0 22 2 0 0 18 0 9 0 1996962332 888090624 5296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11207/tid=11209] ppid=11205 vsize=867276 CPUtime=0
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1996962333 888090624 5296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=867276 CPUtime=0
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996962333 888090624 5296 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=867276 CPUtime=0
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996962333 888090624 5297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=867276 CPUtime=0
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996962335 888090624 5297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=867276 CPUtime=0.03
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 290 0 0 0 3 0 0 0 16 0 9 0 1996962335 888090624 5297 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 867276
[startup+0.702429 s]
/proc/loadavg: 2.01 1.45 1.24 3/81 11207
/proc/meminfo: memFree=1585216/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=868688 CPUtime=0.69
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 11669 0 1 0 63 6 0 0 18 0 9 0 1996962331 889536512 11029 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217172 11029 2010 9 0 211678 0
[pid=11207/tid=11208] ppid=11205 vsize=868688 CPUtime=0.52
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 10313 0 1 0 47 5 0 0 20 0 9 0 1996962332 889536512 11030 996147200 134512640 134550740 4294955968 18446744073709551615 4126836453 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11207/tid=11209] ppid=11205 vsize=868688 CPUtime=0
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1996962333 889536512 11030 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=868688 CPUtime=0
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1996962333 889536512 11031 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=868688 CPUtime=0
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1996962333 889536512 11032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=868688 CPUtime=0
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996962335 889536512 11032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=868688 CPUtime=0.15
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 661 0 0 0 15 0 0 0 16 0 9 0 1996962335 889536512 11033 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 868688
[startup+1.50257 s]
/proc/loadavg: 2.01 1.45 1.24 3/90 11216
/proc/meminfo: memFree=1512632/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=868600 CPUtime=1.48
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 20953 0 1 0 129 19 0 0 18 0 9 0 1996962331 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217150 20288 2004 9 0 211678 0
[pid=11207/tid=11208] ppid=11205 vsize=868600 CPUtime=1.18
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 15773 0 1 0 102 16 0 0 19 0 9 0 1996962332 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=868600 CPUtime=0.07
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 3778 0 0 0 6 1 0 0 17 0 9 0 1996962333 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=868600 CPUtime=0
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996962333 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=868600 CPUtime=0
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1996962333 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=868600 CPUtime=0
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996962335 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=868600 CPUtime=0.2
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 706 0 0 0 20 0 0 0 16 0 9 0 1996962335 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=868600 CPUtime=0
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1996962335 889446400 20288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=868600 CPUtime=0
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1996962335 889446400 20288 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) 868600
[startup+3.10185 s]
/proc/loadavg: 2.01 1.46 1.25 4/92 11218
/proc/meminfo: memFree=1510760/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869248 CPUtime=3.05
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 26633 588 1 0 254 43 7 1 18 0 9 0 1996962331 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217312 20355 2014 9 0 211840 0
[pid=11207/tid=11208] ppid=11205 vsize=869248 CPUtime=2.72
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 21178 588 1 0 225 39 7 1 25 0 9 0 1996962332 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4127043424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869248 CPUtime=0.15
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 3778 588 0 0 6 1 7 1 17 0 9 0 1996962333 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869248 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 13 588 0 0 0 0 7 1 16 0 9 0 1996962333 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869248 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 5 588 0 0 0 0 7 1 16 0 9 0 1996962333 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869248 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869248 CPUtime=0.3
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 837 588 0 0 22 0 7 1 15 0 9 0 1996962335 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869248 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890109952 20355 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869248 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 6 588 0 0 0 0 7 1 15 0 9 0 1996962335 890109952 20355 996147200 134512640 134550740 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) 869248
[startup+6.30241 s]
/proc/loadavg: 2.01 1.46 1.25 3/90 11220
/proc/meminfo: memFree=1497392/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869396 CPUtime=6.22
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 40092 588 1 0 567 47 7 1 18 0 9 0 1996962331 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217349 24449 2637 9 0 211855 0
[pid=11207/tid=11208] ppid=11205 vsize=869396 CPUtime=5.65
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 25896 588 1 0 516 41 7 1 25 0 9 0 1996962332 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4127182153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869396 CPUtime=0.34
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 12394 588 0 0 23 3 7 1 16 0 9 0 1996962333 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 17 588 0 0 0 0 7 1 17 0 9 0 1996962333 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 9 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869396 CPUtime=0.36
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 923 588 0 0 27 1 7 1 15 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 37 588 0 0 0 0 7 1 15 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 869396
Solver just ended. Dumping a history of the last processes samples
[startup+6.40243 s]
/proc/loadavg: 2.01 1.46 1.25 3/90 11220
/proc/meminfo: memFree=1497392/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869396 CPUtime=6.32
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 40108 588 1 0 577 47 7 1 18 0 9 0 1996962331 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217349 24449 2637 9 0 211855 0
[pid=11207/tid=11208] ppid=11205 vsize=869396 CPUtime=5.75
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 25912 588 1 0 526 41 7 1 25 0 9 0 1996962332 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4127182028 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869396 CPUtime=0.34
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 12394 588 0 0 23 3 7 1 16 0 9 0 1996962333 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 17 588 0 0 0 0 7 1 17 0 9 0 1996962333 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 9 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869396 CPUtime=0.36
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 923 588 0 0 27 1 7 1 15 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 37 588 0 0 0 0 7 1 15 0 9 0 1996962335 890261504 24449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 869396
[startup+8.00172 s]
/proc/loadavg: 2.01 1.47 1.25 3/90 11220
/proc/meminfo: memFree=1468976/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869396 CPUtime=7.9
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 49498 588 1 0 732 50 7 1 18 0 9 0 1996962331 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217349 31513 2637 9 0 211855 0
[pid=11207/tid=11208] ppid=11205 vsize=869396 CPUtime=7.23
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 28159 588 1 0 674 41 7 1 25 0 9 0 1996962332 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4127189388 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869396 CPUtime=0.41
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 19482 588 0 0 27 6 7 1 16 0 9 0 1996962333 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 9 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869396 CPUtime=0.39
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 978 588 0 0 30 1 7 1 15 0 9 0 1996962335 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 37 588 0 0 0 0 7 1 15 0 9 0 1996962335 890261504 31513 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 869396
[startup+8.80187 s]
/proc/loadavg: 2.01 1.47 1.25 5/90 11220
/proc/meminfo: memFree=1468912/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869396 CPUtime=8.69
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 49509 588 1 0 811 50 7 1 18 0 9 0 1996962331 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217349 31517 2637 9 0 211855 0
[pid=11207/tid=11208] ppid=11205 vsize=869396 CPUtime=8.01
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 28167 588 1 0 751 42 7 1 25 0 9 0 1996962332 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4127188633 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869396 CPUtime=0.42
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 19482 588 0 0 28 6 7 1 16 0 9 0 1996962333 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 9 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869396 CPUtime=0.4
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 981 588 0 0 31 1 7 1 15 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 37 588 0 0 0 0 7 1 15 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 869396
[startup+9.0019 s]
/proc/loadavg: 2.01 1.47 1.25 5/90 11220
/proc/meminfo: memFree=1468912/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869396 CPUtime=8.89
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 49509 588 1 0 831 50 7 1 18 0 9 0 1996962331 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217349 31517 2637 9 0 211855 0
[pid=11207/tid=11208] ppid=11205 vsize=869396 CPUtime=8.21
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 28167 588 1 0 771 42 7 1 25 0 9 0 1996962332 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4127044720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869396 CPUtime=0.42
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 19482 588 0 0 28 6 7 1 16 0 9 0 1996962333 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 9 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869396 CPUtime=0.4
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 981 588 0 0 31 1 7 1 15 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 37 588 0 0 0 0 7 1 15 0 9 0 1996962335 890261504 31517 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 869396
[startup+9.10191 s]
/proc/loadavg: 2.01 1.47 1.25 5/90 11220
/proc/meminfo: memFree=1468912/2055920 swapFree=4180540/4192956
[pid=11207] ppid=11205 vsize=869396 CPUtime=8.99
/proc/11207/stat : 11207 (java) S 11205 11207 11002 0 -1 0 49514 588 1 0 841 50 7 1 18 0 9 0 1996962331 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11207/statm: 217349 31521 2637 9 0 211855 0
[pid=11207/tid=11208] ppid=11205 vsize=869396 CPUtime=8.3
/proc/11207/task/11208/stat : 11208 (java) R 11205 11207 11002 0 -1 64 28171 588 1 0 780 42 7 1 25 0 9 0 1996962332 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4125950687 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11209] ppid=11205 vsize=869396 CPUtime=0.42
/proc/11207/task/11209/stat : 11209 (java) S 11205 11207 11002 0 -1 64 19482 588 0 0 28 6 7 1 16 0 9 0 1996962333 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11210] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11210/stat : 11210 (java) S 11205 11207 11002 0 -1 64 17 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11211] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11211/stat : 11211 (java) S 11205 11207 11002 0 -1 64 9 588 0 0 0 0 7 1 16 0 9 0 1996962333 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11212] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11212/stat : 11212 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 18 0 9 0 1996962335 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11213] ppid=11205 vsize=869396 CPUtime=0.4
/proc/11207/task/11213/stat : 11213 (java) S 11205 11207 11002 0 -1 64 982 588 0 0 31 1 7 1 16 0 9 0 1996962335 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11215] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11215/stat : 11215 (java) S 11205 11207 11002 0 -1 64 1 588 0 0 0 0 7 1 19 0 9 0 1996962335 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11207/tid=11216] ppid=11205 vsize=869396 CPUtime=0.08
/proc/11207/task/11216/stat : 11216 (java) S 11205 11207 11002 0 -1 64 37 588 0 0 0 0 7 1 15 0 9 0 1996962335 890261504 31521 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.99
Current children cumulated vsize (KiB) 869396
Child status: 0
Real time (s): 9.13661
CPU time (s): 9.03862
CPU user time (s): 8.49471
CPU system time (s): 0.543917
CPU usage (%): 98.9275
Max. virtual memory (cumulated for all children) (KiB): 870800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.49471
system time used= 0.543917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50131
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= 1774
involuntary context switches= 2000
runsolver used 0.013997 second user time and 0.039993 second system time
The end
Begin job on node18 at 2008-07-04 15:57:59
IDJOB=1074818
IDBENCH=56445
IDSOLVER=364
FILE ID=node18/1074818-1215179879
PBS_JOBID= 7881598
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-8.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-1074818-1215179879/watcher-1074818-1215179879 -o /tmp/evaluation-result-1074818-1215179879/solver-1074818-1215179879 -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-1074818-1215179879.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 86b24a9ba558d9e8e32f84b5d3fc0678
RANDOM SEED=1165353692
node18.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.268
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 : 5931.00
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.268
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: 1585696 kB
Buffers: 37508 kB
Cached: 117116 kB
SwapCached: 6536 kB
Active: 367388 kB
Inactive: 50744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1585696 kB
SwapTotal: 4192956 kB
SwapFree: 4180540 kB
Dirty: 3308 kB
Writeback: 0 kB
Mapped: 279372 kB
Slab: 36708 kB
Committed_AS: 3864336 kB
PageTables: 2300 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= 66552 MiB
End job on node18 at 2008-07-04 15:58:09