0.00/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.07 c 0 BEGIN Sun Jul 12 03:42:23 2009
0.00/0.07 c 0 PID 18737
0.00/0.08 c 0 HOST node27.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2076537-1247362943.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2076537-1247362943.xml' 'HOME/temp.csp'
0.06/0.88 c 1 400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
0.06/0.91 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.91 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.99 c 1 Parsing HOME/temp.csp
1.02/1.16 c 1 parsed 8401 expressions
1.02/1.17 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.02/1.17 c 1 Converting to clausal form CSP
1.12/1.23 c 2 converted 841 (10%) expressions
1.32/1.47 c 2 converted 1681 (20%) expressions
1.42/1.51 c 2 converted 2521 (30%) expressions
1.42/1.54 c 2 converted 3361 (40%) expressions
1.42/1.56 c 2 converted 4201 (50%) expressions
1.42/1.59 c 2 converted 5041 (60%) expressions
1.52/1.69 c 2 converted 5881 (70%) expressions
1.62/1.72 c 2 converted 6721 (80%) expressions
1.62/1.75 c 2 converted 7561 (90%) expressions
1.62/1.78 c 2 converted 8401 (100%) expressions
1.62/1.78 c 2 CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1359
1.62/1.78 c 2 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.62/1.78 c 2 Propagation in CSP
1.72/1.82 c 2 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.72/1.82 c 2 CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1359
1.72/1.82 c 2 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.72/1.83 c 2 Simplifing CSP by introducing new Boolean variables
1.82/1.97 c 2 CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1359
1.82/1.97 c 2 Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.92/2.05 c 2 Encoding CSP to SAT : HOME/temp.cnf
2.01/2.15 c 2 40 (10%) CSP integer variables are encoded (52021 clauses, 758185 bytes)
2.11/2.21 c 2 80 (20%) CSP integer variables are encoded (104108 clauses, 1547861 bytes)
2.11/2.28 c 3 120 (30%) CSP integer variables are encoded (156499 clauses, 2438508 bytes)
2.22/2.35 c 3 160 (40%) CSP integer variables are encoded (209234 clauses, 3335003 bytes)
2.31/2.42 c 3 200 (50%) CSP integer variables are encoded (261494 clauses, 4223423 bytes)
2.31/2.49 c 3 240 (60%) CSP integer variables are encoded (313832 clauses, 5113169 bytes)
2.41/2.56 c 3 280 (70%) CSP integer variables are encoded (366068 clauses, 6001181 bytes)
2.51/2.63 c 3 320 (80%) CSP integer variables are encoded (418498 clauses, 6892491 bytes)
2.62/2.70 c 3 360 (90%) CSP integer variables are encoded (470840 clauses, 7782305 bytes)
2.62/2.77 c 3 400 (100%) CSP integer variables are encoded (523020 clauses, 8669365 bytes)
6.30/6.41 c 7 2280 (10%) CSP clauses are encoded (2422326 clauses, 52528637 bytes)
9.85/10.01 c 10 4560 (20%) CSP clauses are encoded (4329226 clauses, 97511054 bytes)
13.40/13.62 c 14 6840 (30%) CSP clauses are encoded (6239480 clauses, 143388044 bytes)
16.96/17.24 c 18 9120 (40%) CSP clauses are encoded (8158868 clauses, 191343104 bytes)
20.62/20.92 c 21 11400 (50%) CSP clauses are encoded (10095702 clauses, 239734314 bytes)
24.24/24.62 c 25 13680 (60%) CSP clauses are encoded (12018224 clauses, 287767724 bytes)
27.75/28.28 c 29 15960 (70%) CSP clauses are encoded (13932292 clauses, 335589784 bytes)
31.37/31.94 c 32 18240 (80%) CSP clauses are encoded (15850344 clauses, 383511444 bytes)
35.01/35.60 c 36 20520 (90%) CSP clauses are encoded (17774032 clauses, 431574004 bytes)
38.52/39.26 c 40 22800 (100%) CSP clauses are encoded (19684140 clauses, 479297064 bytes)
38.52/39.26 c 40 22800 CSP clauses encoded
38.52/39.26 c 40 Writing map file : HOME/temp.map
38.52/39.28 c 40 Heap : 7 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
38.52/39.28 c 40 SAT : 538620 SAT variables, 19684140 SAT clauses, 479297064 bytes
38.52/39.28 c 40 Heap : 7 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
38.61/39.31 c 40 SOLVING HOME/temp.cnf
38.61/39.31 c 40 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
216.98/218.66 c 219 DECODING HOME/temp.out WITH HOME/temp.map
216.98/218.66 c 219 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
217.06/218.75 c 219 Decoding HOME/temp.out
217.67/219.34 s SATISFIABLE
217.67/219.35 v 941 408 1228 202 1303 164 467 1036 251 650 17 807 545 59 732 1135 870 90 331 715 1284 497 766 277 1070 490 881 512 84 644 562 823 1143 447 1222 194 1000 946 2 356 500 334 1310 700 198 1143 627 900 1226 1055 129 34 318 420 274 796 72 49 955 543 1111 283 810 550 1273 351 178 1001 599 1031 682 908 51 211 511 150 98 467 1201 723 274 1094 826 335 730 422 1210 9 103 550 11 172 943 395 258 220 870 144 116 0 691 919 29 660 1182 1004 273 560 354 810 513 159 455 203 1111 131 1304 116 246 736 348 315 1270 690 241 178 422 234 594 130 96 1167 251 437 3 515 274 59 27 809 140 0 1004 293 9 847 1132 216 255 400 197 690 468 236 324 116 159 589 104 1240 805 602 383 492 1000 97 1240 736 955 1152 43 90 621 871 659 423 216 547 120 276 1228 1259 1105 699 494 993 644 900 49 605 1056 807 161 400 324 384 538 39 937 59 890 906 983 1041 771 696 53 1080 644 805 1290 1187 293 567 455 428 1 214 329 135 919 1124 1182 779 969 252 886 669 293 0 261 198 42 603 431 159 491 61 363 107 504 658 9 706 1066 1003 0 598 148 122 816 718 908 292 108 383 545 154 131 423 605 942 835 740 105 1057 451 762 90 691 273 107 54 356 59 178 0 3 521 1134 991 1078 1139 713 743 1212 491 562 312 799 331 614 261 890 64 135 5 1307 60 351 1125 777 1247 826 748 517 523 227 334 69 201 419 627 0 356 10 5 278 109 34 422 952 439 1216 497 580 626 462 390 216 296 16 241 9 126 33 53 54 339 59 1129 1170 900 995 191 610 1221 1291 1016 739 344 431 85 528 798 135 3 35 216 264 1224 726 1308 1066 802 339 514 0 587 908 762 9 688 1 28 123 199 244 286 430 34 418 138 204 211 267 606 662 284 552 802 870 943 698 1016 1100 730 1230 1304 1305
217.67/219.36 c 220 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
217.75/219.41 c 220 CPU 217.75 (0.06 0.02 118.91 98.76)
217.75/219.41 c 220 END Sun Jul 12 03:46:03 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076537-1247362943/watcher-2076537-1247362943 -o /tmp/evaluation-result-2076537-1247362943/solver-2076537-1247362943 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2076537-1247362943.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 18737
/proc/meminfo: memFree=1724240/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=12272 CPUtime=0
/proc/18737/stat : 18737 (sugar) R 18735 18737 16717 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 23360580 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 233588882021 0 0 4224 0 0 0 0 17 0 0 0
/proc/18737/statm: 3068 327 246 3 0 168 0
[startup+0.0831751 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 18737
/proc/meminfo: memFree=1724240/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.06
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.102176 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 18737
/proc/meminfo: memFree=1724240/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.06
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.302212 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 18737
/proc/meminfo: memFree=1724240/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.06
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701286 s]
/proc/loadavg: 2.00 2.02 2.00 4/73 18737
/proc/meminfo: memFree=1724240/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.06
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50143 s]
/proc/loadavg: 2.08 2.04 2.01 3/84 18759
/proc/meminfo: memFree=1716472/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.86
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1309 8421 0 1 5 1 75 5 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
[pid=18750] ppid=18737 vsize=5356 CPUtime=0
/proc/18750/stat : 18750 (sh) S 18737 18737 16717 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23360672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18750/statm: 1339 233 193 169 0 50 0
[pid=18751] ppid=18750 vsize=869600 CPUtime=0.56
/proc/18751/stat : 18751 (java) S 18750 18737 16717 0 -1 0 7250 0 1 0 53 3 0 0 18 0 9 0 23360673 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18751/statm: 217400 6485 2566 9 0 211905 0
[pid=18751/tid=18752] ppid=18750 vsize=869600 CPUtime=0.31
/proc/18751/task/18752/stat : 18752 (java) R 18750 18737 16717 0 -1 64 2661 0 1 0 30 1 0 0 21 0 9 0 23360674 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4126559259 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18753] ppid=18750 vsize=869600 CPUtime=0.07
/proc/18751/task/18753/stat : 18753 (java) S 18750 18737 16717 0 -1 64 2414 0 0 0 7 0 0 0 16 0 9 0 23360675 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18754] ppid=18750 vsize=869600 CPUtime=0
/proc/18751/task/18754/stat : 18754 (java) S 18750 18737 16717 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23360675 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18755] ppid=18750 vsize=869600 CPUtime=0
/proc/18751/task/18755/stat : 18755 (java) S 18750 18737 16717 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23360675 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18756] ppid=18750 vsize=869600 CPUtime=0
/proc/18751/task/18756/stat : 18756 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23360677 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18757] ppid=18750 vsize=869600 CPUtime=0.15
/proc/18751/task/18757/stat : 18757 (java) S 18750 18737 16717 0 -1 64 1476 0 0 0 15 0 0 0 16 0 9 0 23360677 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18758] ppid=18750 vsize=869600 CPUtime=0
/proc/18751/task/18758/stat : 18758 (java) S 18750 18737 16717 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23360677 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18759] ppid=18750 vsize=869600 CPUtime=0
/proc/18751/task/18759/stat : 18759 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23360677 890470400 6485 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 891824
[startup+3.10272 s]
/proc/loadavg: 2.08 2.04 2.01 3/84 18759
/proc/meminfo: memFree=1695224/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.87
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1310 8421 0 1 6 1 75 5 15 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
[pid=18750] ppid=18737 vsize=5356 CPUtime=0
/proc/18750/stat : 18750 (sh) S 18737 18737 16717 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23360672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18750/statm: 1339 233 193 169 0 50 0
[pid=18751] ppid=18750 vsize=869712 CPUtime=2.15
/proc/18751/stat : 18751 (java) S 18750 18737 16717 0 -1 0 9861 0 1 0 203 12 0 0 18 0 9 0 23360673 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18751/statm: 217428 8801 2590 9 0 211905 0
[pid=18751/tid=18752] ppid=18750 vsize=869712 CPUtime=1.52
/proc/18751/task/18752/stat : 18752 (java) R 18750 18737 16717 0 -1 64 3057 0 1 0 144 8 0 0 25 0 9 0 23360674 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4126521111 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18753] ppid=18750 vsize=869712 CPUtime=0.39
/proc/18751/task/18753/stat : 18753 (java) S 18750 18737 16717 0 -1 64 4591 0 0 0 37 2 0 0 16 0 9 0 23360675 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18754] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18754/stat : 18754 (java) S 18750 18737 16717 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23360675 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18755] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18755/stat : 18755 (java) S 18750 18737 16717 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23360675 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18756] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18756/stat : 18756 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23360677 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18757] ppid=18750 vsize=869712 CPUtime=0.2
/proc/18751/task/18757/stat : 18757 (java) S 18750 18737 16717 0 -1 64 1514 0 0 0 20 0 0 0 16 0 9 0 23360677 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18758] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18758/stat : 18758 (java) S 18750 18737 16717 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23360677 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18759] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18759/stat : 18759 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23360677 890585088 8801 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 891936
[startup+6.30131 s]
/proc/loadavg: 2.08 2.04 2.01 3/84 18759
/proc/meminfo: memFree=1655096/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.87
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1310 8421 0 1 6 1 75 5 15 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
[pid=18750] ppid=18737 vsize=5356 CPUtime=0
/proc/18750/stat : 18750 (sh) S 18737 18737 16717 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23360672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18750/statm: 1339 233 193 169 0 50 0
[pid=18751] ppid=18750 vsize=869712 CPUtime=5.33
/proc/18751/stat : 18751 (java) S 18750 18737 16717 0 -1 0 10483 0 1 0 495 38 0 0 18 0 9 0 23360673 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18751/statm: 217428 8806 2590 9 0 211905 0
[pid=18751/tid=18752] ppid=18750 vsize=869712 CPUtime=4.52
/proc/18751/task/18752/stat : 18752 (java) R 18750 18737 16717 0 -1 64 3674 0 1 0 421 31 0 0 25 0 9 0 23360674 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18753] ppid=18750 vsize=869712 CPUtime=0.57
/proc/18751/task/18753/stat : 18753 (java) S 18750 18737 16717 0 -1 64 4591 0 0 0 51 6 0 0 16 0 9 0 23360675 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18754] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18754/stat : 18754 (java) S 18750 18737 16717 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23360675 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18755] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18755/stat : 18755 (java) S 18750 18737 16717 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23360675 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18756] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18756/stat : 18756 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23360677 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18757] ppid=18750 vsize=869712 CPUtime=0.21
/proc/18751/task/18757/stat : 18757 (java) S 18750 18737 16717 0 -1 64 1519 0 0 0 21 0 0 0 15 0 9 0 23360677 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18758] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18758/stat : 18758 (java) S 18750 18737 16717 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23360677 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18759] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18759/stat : 18759 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23360677 890585088 8806 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 891936
[startup+12.7025 s]
/proc/loadavg: 2.07 2.04 2.00 3/84 18759
/proc/meminfo: memFree=1570360/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.87
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1310 8421 0 1 6 1 75 5 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
[pid=18750] ppid=18737 vsize=5356 CPUtime=0
/proc/18750/stat : 18750 (sh) S 18737 18737 16717 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23360672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18750/statm: 1339 233 193 169 0 50 0
[pid=18751] ppid=18750 vsize=869712 CPUtime=11.64
/proc/18751/stat : 18751 (java) S 18750 18737 16717 0 -1 0 11745 0 1 0 1068 96 0 0 18 0 9 0 23360673 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18751/statm: 217428 8809 2590 9 0 211905 0
[pid=18751/tid=18752] ppid=18750 vsize=869712 CPUtime=10.46
/proc/18751/task/18752/stat : 18752 (java) R 18750 18737 16717 0 -1 64 4934 0 1 0 965 81 0 0 25 0 9 0 23360674 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4126813495 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18753] ppid=18750 vsize=869712 CPUtime=0.93
/proc/18751/task/18753/stat : 18753 (java) S 18750 18737 16717 0 -1 64 4591 0 0 0 79 14 0 0 16 0 9 0 23360675 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18754] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18754/stat : 18754 (java) S 18750 18737 16717 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23360675 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18755] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18755/stat : 18755 (java) S 18750 18737 16717 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23360675 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18756] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18756/stat : 18756 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 23360677 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18757] ppid=18750 vsize=869712 CPUtime=0.22
/proc/18751/task/18757/stat : 18757 (java) S 18750 18737 16717 0 -1 64 1521 0 0 0 22 0 0 0 17 0 9 0 23360677 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18758] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18758/stat : 18758 (java) S 18750 18737 16717 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 23360677 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18759] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18759/stat : 18759 (java) S 18750 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23360677 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 891936
[startup+25.5028 s]
/proc/loadavg: 2.06 2.03 2.00 3/84 18759
/proc/meminfo: memFree=1398136/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=0.87
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1310 8421 0 1 6 1 75 5 16 0 1 0 23360580 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1111 409 3 0 796 0
[pid=18750] ppid=18737 vsize=5356 CPUtime=0
/proc/18750/stat : 18750 (sh) S 18737 18737 16717 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23360672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18750/statm: 1339 233 193 169 0 50 0
[pid=18751] ppid=18750 vsize=869712 CPUtime=24.26
/proc/18751/stat : 18751 (java) S 18750 18737 16717 0 -1 0 14315 0 1 0 2207 219 0 0 18 0 9 0 23360673 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18751/statm: 217428 8809 2590 9 0 211905 0
[pid=18751/tid=18752] ppid=18750 vsize=869712 CPUtime=22.25
/proc/18751/task/18752/stat : 18752 (java) R 18750 18737 16717 0 -1 64 7504 0 1 0 2039 186 0 0 25 0 9 0 23360674 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4126527831 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18753] ppid=18750 vsize=869712 CPUtime=1.75
/proc/18751/task/18753/stat : 18753 (java) S 18750 18737 16717 0 -1 64 4591 0 0 0 144 31 0 0 16 0 9 0 23360675 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18754] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18754/stat : 18754 (java) S 18750 18737 16717 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 23360675 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18755] ppid=18750 vsize=869712 CPUtime=0
/proc/18751/task/18755/stat : 18755 (java) S 18750 18737 16717 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 23360675 890585088 8809 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18751/tid=18756] ppid=18750 vsize=869712 CPUtime=0
################
# More data... #
################
[startup+102.307 s]
/proc/loadavg: 2.06 2.05 2.01 3/76 18761
/proc/meminfo: memFree=956024/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=319736 CPUtime=62.65
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 70258 0 0 0 2853 3412 0 0 25 0 1 0 23364512 327409664 70244 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 79934 70244 40 102 0 79829 0
Current children cumulated CPU time (s) 101.27
Current children cumulated vsize (KiB) 341960
[startup+162.303 s]
/proc/loadavg: 2.02 2.04 2.00 3/76 18761
/proc/meminfo: memFree=727416/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=560932 CPUtime=122.33
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 128931 0 0 0 5592 6641 0 0 25 0 1 0 23364512 574394368 128917 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 140233 128917 40 102 0 140128 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 583156
Solver just ended. Dumping a history of the last processes samples
[startup+179.102 s]
/proc/loadavg: 2.02 2.03 2.00 3/76 18761
/proc/meminfo: memFree=662520/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=619276 CPUtime=139.05
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 145390 0 0 0 6347 7558 0 0 25 0 1 0 23364512 634138624 145376 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 154819 145376 40 102 0 154714 0
Current children cumulated CPU time (s) 177.67
Current children cumulated vsize (KiB) 641500
[startup+204.701 s]
/proc/loadavg: 2.01 2.03 2.00 3/76 18761
/proc/meminfo: memFree=559032/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=773780 CPUtime=164.52
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 170426 0 0 0 7510 8942 0 0 25 0 1 0 23364512 792350720 170412 996147200 134512640 134931368 4294956256 18446744073709551615 134597664 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 193445 170412 40 102 0 193340 0
Current children cumulated CPU time (s) 203.14
Current children cumulated vsize (KiB) 796004
[startup+211.101 s]
/proc/loadavg: 2.01 2.03 2.00 3/76 18761
/proc/meminfo: memFree=533048/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=796088 CPUtime=170.9
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 176714 0 0 0 7798 9292 0 0 25 0 1 0 23364512 815194112 176700 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 199022 176700 40 102 0 198917 0
Current children cumulated CPU time (s) 209.52
Current children cumulated vsize (KiB) 818312
[startup+214.302 s]
/proc/loadavg: 2.01 2.03 2.00 3/76 18761
/proc/meminfo: memFree=524408/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=807308 CPUtime=174.08
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 179857 0 0 0 7943 9465 0 0 25 0 1 0 23364512 826683392 179843 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 201827 179843 40 102 0 201722 0
Current children cumulated CPU time (s) 212.7
Current children cumulated vsize (KiB) 829532
[startup+217.501 s]
/proc/loadavg: 2.09 2.04 2.01 3/76 18761
/proc/meminfo: memFree=515576/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=819816 CPUtime=177.27
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 181107 0 0 0 8226 9501 0 0 25 0 1 0 23364512 839491584 181091 996147200 134512640 134931368 4294956256 18446744073709551615 134544814 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 204954 181091 48 102 0 204849 0
Current children cumulated CPU time (s) 215.89
Current children cumulated vsize (KiB) 842040
[startup+218.303 s]
/proc/loadavg: 2.09 2.04 2.01 3/76 18761
/proc/meminfo: memFree=513976/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=38.62
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1365 25799 0 2 6 1 3497 358 16 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18760] ppid=18737 vsize=5356 CPUtime=0
/proc/18760/stat : 18760 (sh) S 18737 18737 16717 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 23364512 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18760/statm: 1339 232 193 169 0 50 0
[pid=18761] ppid=18760 vsize=819820 CPUtime=178.06
/proc/18761/stat : 18761 (picosat) R 18760 18737 16717 0 -1 4194304 181113 0 0 0 8304 9502 0 0 25 0 1 0 23364512 839495680 181097 996147200 134512640 134931368 4294956256 18446744073709551615 134581963 0 0 4096 0 0 0 0 17 1 0 0
/proc/18761/statm: 204955 181097 52 102 0 204850 0
Current children cumulated CPU time (s) 216.68
Current children cumulated vsize (KiB) 842044
[startup+219.102 s]
/proc/loadavg: 2.09 2.04 2.01 3/84 18771
/proc/meminfo: memFree=1232376/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=217.06
/proc/18737/stat : 18737 (sugar) S 18735 18737 16717 0 -1 4194304 1446 207198 0 2 6 1 11826 9873 15 0 1 0 23360580 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 233597612130 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18737/statm: 4217 1113 409 3 0 796 0
[pid=18762] ppid=18737 vsize=5356 CPUtime=0
/proc/18762/stat : 18762 (sh) S 18737 18737 16717 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 23382447 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18762/statm: 1339 233 193 169 0 50 0
[pid=18763] ppid=18762 vsize=862284 CPUtime=0.41
/proc/18763/stat : 18763 (java) S 18762 18737 16717 0 -1 0 3143 0 1 0 39 2 0 0 18 0 9 0 23382447 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18763/statm: 215571 2612 1279 9 0 210484 0
[pid=18763/tid=18764] ppid=18762 vsize=862284 CPUtime=0.34
/proc/18763/task/18764/stat : 18764 (java) R 18762 18737 16717 0 -1 64 2040 0 1 0 33 1 0 0 22 0 9 0 23382449 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4126482899 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18765] ppid=18762 vsize=862284 CPUtime=0
/proc/18763/task/18765/stat : 18765 (java) S 18762 18737 16717 0 -1 64 96 0 0 0 0 0 0 0 16 0 9 0 23382450 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18766] ppid=18762 vsize=862284 CPUtime=0
/proc/18763/task/18766/stat : 18766 (java) S 18762 18737 16717 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 23382450 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18767] ppid=18762 vsize=862284 CPUtime=0
/proc/18763/task/18767/stat : 18767 (java) S 18762 18737 16717 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 23382450 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18768] ppid=18762 vsize=862284 CPUtime=0
/proc/18763/task/18768/stat : 18768 (java) S 18762 18737 16717 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 23382452 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18769] ppid=18762 vsize=862284 CPUtime=0.04
/proc/18763/task/18769/stat : 18769 (java) S 18762 18737 16717 0 -1 64 313 0 0 0 4 0 0 0 16 0 9 0 23382452 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18770] ppid=18762 vsize=862284 CPUtime=0
/proc/18763/task/18770/stat : 18770 (java) S 18762 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 23382452 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18763/tid=18771] ppid=18762 vsize=862284 CPUtime=0
/proc/18763/task/18771/stat : 18771 (java) S 18762 18737 16717 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 23382452 882978816 2612 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 217.47
Current children cumulated vsize (KiB) 884508
[startup+219.502 s]
/proc/loadavg: 2.09 2.04 2.01 3/84 18771
/proc/meminfo: memFree=1232376/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=217.84
/proc/18737/stat : 18737 (sugar) R 18735 18737 16717 0 -1 4194304 1476 211163 0 3 6 11 11891 9876 16 0 1 0 23360580 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 233588888617 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18737/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 217.84
Current children cumulated vsize (KiB) 16868
[startup+219.602 s]
/proc/loadavg: 2.09 2.04 2.01 3/84 18771
/proc/meminfo: memFree=1232376/2055920 swapFree=4192812/4192956
[pid=18737] ppid=18735 vsize=16868 CPUtime=217.94
/proc/18737/stat : 18737 (sugar) R 18735 18737 16717 0 -1 4194304 1476 211163 0 3 6 21 11891 9876 16 0 1 0 23360580 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 233588888617 0 0 4224 16386 0 0 0 17 1 0 0
/proc/18737/statm: 4217 1114 410 3 0 796 0
Current children cumulated CPU time (s) 217.94
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 219.655
CPU time (s): 218.015
CPU user time (s): 118.977
CPU system time (s): 99.0379
CPU usage (%): 99.2535
Max. virtual memory (cumulated for all children) (KiB): 892040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.977
system time used= 99.0379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212700
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70349
involuntary context switches= 72674
runsolver used 0.332949 second user time and 0.690894 second system time
The end
Begin job on node27 at 2009-07-12 03:42:23
IDJOB=2076537
IDBENCH=56450
IDSOLVER=738
FILE ID=node27/2076537-1247362943
PBS_JOBID= 9506954
Free space on /tmp= 66300 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-2.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076537-1247362943/watcher-2076537-1247362943 -o /tmp/evaluation-result-2076537-1247362943/solver-2076537-1247362943 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2076537-1247362943.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4edeb52ba8c5e270795a490c2e727147
RANDOM SEED=545097465
node27.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 : 2800.239
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 : 5521.40
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 : 2800.239
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: 1724720 kB
Buffers: 49504 kB
Cached: 108052 kB
SwapCached: 0 kB
Active: 221732 kB
Inactive: 58264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1724720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2324 kB
Writeback: 0 kB
Mapped: 133096 kB
Slab: 36220 kB
Committed_AS: 335132 kB
PageTables: 2040 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66300 MiB
End job on node27 at 2009-07-12 03:46:03