10.27 s SATISFIABLE
10.27 o 273
10.27 v 221 134 163 52 2 299 287 184 2 58 359 3 275 117 311 151 70 154 1 183 284 203 20 0 241 106 250 352 288 204 330 58 24 45 139 378 181 356 62 305 158 256 1 295 181 62 201 262 116
10.28 o 274
10.28 v 221 134 163 52 2 299 287 184 2 58 359 3 275 117 311 151 70 154 1 183 284 203 20 0 241 106 250 352 288 204 330 58 24 45 139 378 181 356 62 305 158 256 1 295 181 355 201 262 116
10.29 o 275
10.29 v 221 134 163 52 2 299 287 184 2 58 359 3 275 117 311 151 70 154 1 183 284 203 112 0 241 106 250 352 288 204 330 58 24 45 139 378 181 356 62 305 158 256 1 295 181 355 201 262 116
10.30 o 276
10.30 v 221 134 163 52 2 299 287 184 2 58 359 3 275 117 311 151 70 154 1 183 284 203 112 0 241 106 250 352 288 204 330 58 24 45 139 378 181 337 62 305 158 256 1 295 181 355 201 262 116
10.31 o 277
10.31 v 221 134 163 52 2 299 287 184 2 58 359 3 275 117 311 151 70 154 1 183 284 203 112 0 241 106 250 352 288 204 330 58 24 45 139 378 381 337 62 305 158 256 1 295 181 355 201 262 116
10.32 o 278
10.32 v 221 134 163 52 2 299 287 184 2 58 359 3 275 117 311 151 70 152 1 183 284 203 112 0 241 106 250 352 288 204 330 58 24 45 139 378 381 337 62 305 158 256 1 295 181 355 201 262 116
11.35 o 279
11.35 v 68 46 388 1 88 273 183 242 297 353 359 174 1 100 310 402 10 152 202 84 284 43 1 163 167 76 265 360 100 267 330 268 162 180 0 378 381 337 186 305 51 37 109 181 2 349 266 376 98
11.36 o 280
11.36 v 68 46 388 1 88 273 183 242 297 353 359 174 1 100 310 402 10 152 202 84 284 43 1 163 167 76 265 360 100 267 330 46 162 180 0 378 381 337 186 305 51 37 109 181 2 349 266 376 98
11.36 o 281
11.36 v 68 46 388 1 88 273 183 242 297 353 359 174 1 100 310 402 10 152 202 84 284 43 1 163 167 76 265 360 100 267 330 46 162 180 0 177 381 337 186 305 51 37 109 181 2 349 266 376 98
11.37 o 282
11.37 v 68 46 388 1 88 273 183 242 297 353 359 174 1 100 310 402 10 264 202 84 284 43 1 163 167 76 265 360 100 267 330 46 162 180 0 177 381 337 186 305 51 37 109 181 2 349 266 376 98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node48/watcher-277369-1169266010 -o ROOT/results/node48/solver-277369-1169266010 -C 2400 -M 900 /tmp/evaluation/277369-1169266010/cspfj.sh -solver MinConflicts -max -competition /tmp/evaluation/277369-1169266010/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
/proc/loadavg: 1.05 1.67 1.86 4/68 17901
/proc/meminfo: memFree=1408800/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) R 17871 17900 17755 0 -1 4194304 295 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539772005 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[startup+0.106117 s]
/proc/loadavg: 1.05 1.67 1.86 4/68 17901
/proc/meminfo: memFree=1408800/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.514154 s]
/proc/loadavg: 1.05 1.67 1.86 4/68 17901
/proc/meminfo: memFree=1408800/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33523 s]
/proc/loadavg: 1.05 1.67 1.86 2/76 17910
/proc/meminfo: memFree=1385312/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865324 CPUtime=1.29
/proc/17903/stat : 17903 (java) S 17900 17900 17755 0 -1 0 7945 0 1 0 124 5 0 0 17 0 8 0 275000125 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216331 7651 1833 14 0 203593 0
[pid=17903/tid=17904] ppid=17900 vsize=865324 CPUtime=0.25
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 3909 0 0 0 25 0 0 0 17 0 8 0 275000129 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865324 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865324 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 275000129 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865324 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865324 CPUtime=0.19
/proc/17903/task/17908/stat : 17908 (java) R 17900 17900 17755 0 -1 64 394 0 0 0 19 0 0 0 16 0 8 0 275000132 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155971079 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865324 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865324 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886091776 7651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 870676
[startup+2.98338 s]
/proc/loadavg: 1.05 1.67 1.86 3/88 17922
/proc/meminfo: memFree=1368568/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865456 CPUtime=2.94
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 7989 0 1 0 288 6 0 0 18 0 8 0 275000125 886226944 7694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074001169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216364 7694 1833 14 0 203626 0
[pid=17903/tid=17904] ppid=17900 vsize=865456 CPUtime=0.25
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 3909 0 0 0 25 0 0 0 17 0 8 0 275000129 886226944 7694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886226944 7694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 275000129 886226944 7694 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886226944 7695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865456 CPUtime=0.23
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 435 0 0 0 23 0 0 0 15 0 8 0 275000132 886226944 7695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886226944 7695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886226944 7695 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 870808
[startup+6.19067 s]
/proc/loadavg: 1.13 1.68 1.86 3/88 17922
/proc/meminfo: memFree=1356920/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865456 CPUtime=6.15
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 8168 0 1 0 609 6 0 0 25 0 8 0 275000125 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859955 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216364 7873 1833 14 0 203626 0
[pid=17903/tid=17904] ppid=17900 vsize=865456 CPUtime=0.25
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 3909 0 0 0 25 0 0 0 16 0 8 0 275000129 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 275000129 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865456 CPUtime=0.31
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 511 0 0 0 31 0 0 0 15 0 8 0 275000132 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865456 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886226944 7873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 870808
[startup+12.6791 s]
/proc/loadavg: 1.20 1.68 1.86 4/88 17922
/proc/meminfo: memFree=1333136/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865776 CPUtime=12.58
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 10121 0 1 0 1251 7 0 0 25 0 8 0 275000125 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074488461 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216444 9814 1835 14 0 203706 0
[pid=17903/tid=17904] ppid=17900 vsize=865776 CPUtime=0.37
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5632 0 0 0 36 1 0 0 16 0 8 0 275000129 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865776 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865776 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865776 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865776 CPUtime=0.42
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 667 0 0 0 41 1 0 0 15 0 8 0 275000132 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865776 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865776 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886554624 9814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 871128
[startup+25.5603 s]
/proc/loadavg: 1.37 1.70 1.87 3/88 17922
/proc/meminfo: memFree=1320080/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=25.4
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 10176 0 1 0 2532 8 0 0 25 0 8 0 275000125 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074495496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9778 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=0.39
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5632 0 0 0 38 1 0 0 16 0 8 0 275000129 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.43
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 679 0 0 0 42 1 0 0 15 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 870904
[startup+51.1926 s]
/proc/loadavg: 1.59 1.72 1.87 3/88 17922
/proc/meminfo: memFree=1320144/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=50.9
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 10260 0 1 0 5081 9 0 0 25 0 8 0 275000125 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074491838 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9778 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=0.45
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5632 0 0 0 43 2 0 0 16 0 8 0 275000129 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.43
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 679 0 0 0 42 1 0 0 15 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 870904
[startup+102.461 s]
/proc/loadavg: 1.82 1.76 1.87 3/88 17922
/proc/meminfo: memFree=1319888/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=101.88
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 10433 0 1 0 10177 11 0 0 25 0 8 0 275000125 886325248 9778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074491241 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9778 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=0.54
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.94 3/88 17924
/proc/meminfo: memFree=1319704/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=2131.51
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 23339 0 1 0 213018 133 0 0 25 0 8 0 275000125 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074495472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9781 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=8.08
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5633 0 0 0 727 81 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.44
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 681 0 0 0 43 1 0 0 16 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2131.51
Current children cumulated vsize (KiB) 870904
[startup+2203.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 17924
/proc/meminfo: memFree=1319640/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=2191.21
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 23826 0 1 0 218984 137 0 0 25 0 8 0 275000125 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074491193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9781 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=8.35
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5633 0 0 0 752 83 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.44
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 681 0 0 0 43 1 0 0 16 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2191.21
Current children cumulated vsize (KiB) 870904
[startup+2263.12 s]
/proc/loadavg: 2.00 2.00 1.94 3/88 17924
/proc/meminfo: memFree=1319640/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=2250.88
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 24280 0 1 0 224948 140 0 0 25 0 8 0 275000125 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074491170 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9781 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=8.61
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5633 0 0 0 776 85 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.44
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 681 0 0 0 43 1 0 0 16 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2250.88
Current children cumulated vsize (KiB) 870904
[startup+2323.14 s]
/proc/loadavg: 2.07 2.02 1.95 4/88 17924
/proc/meminfo: memFree=1319640/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=2310.59
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 24649 0 1 0 230916 143 0 0 25 0 8 0 275000125 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074491198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9781 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=8.82
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5633 0 0 0 795 87 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.44
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 681 0 0 0 43 1 0 0 16 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2310.59
Current children cumulated vsize (KiB) 870904
[startup+2383.16 s]
/proc/loadavg: 2.02 2.01 1.95 3/88 17924
/proc/meminfo: memFree=1319640/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=2370.29
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 25102 0 1 0 236882 147 0 0 25 0 8 0 275000125 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074491318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9781 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=9.08
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5633 0 0 0 819 89 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.44
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 681 0 0 0 43 1 0 0 16 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2370.29
Current children cumulated vsize (KiB) 870904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.12 s]
/proc/loadavg: 2.01 2.01 1.95 3/88 17924
/proc/meminfo: memFree=1319640/2055920 swapFree=4192812/4192956
[pid=17900] ppid=17871 vsize=5352 CPUtime=0
/proc/17900/stat : 17900 (cspfj.sh) S 17871 17900 17755 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 275000125 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17900/statm: 1338 240 201 169 0 49 0
[pid=17903] ppid=17900 vsize=865552 CPUtime=2400.08
/proc/17903/stat : 17903 (java) R 17900 17900 17755 0 -1 0 25334 0 1 0 239859 149 0 0 25 0 8 0 275000125 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074495849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17903/statm: 216388 9781 1835 14 0 203650 0
[pid=17903/tid=17904] ppid=17900 vsize=865552 CPUtime=9.21
/proc/17903/task/17904/stat : 17904 (java) S 17900 17900 17755 0 -1 64 5633 0 0 0 831 90 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17905] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17905/stat : 17905 (java) S 17900 17900 17755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17906] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17906/stat : 17906 (java) S 17900 17900 17755 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 275000129 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17907] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17907/stat : 17907 (java) S 17900 17900 17755 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17908] ppid=17900 vsize=865552 CPUtime=0.44
/proc/17903/task/17908/stat : 17908 (java) S 17900 17900 17755 0 -1 64 681 0 0 0 43 1 0 0 16 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17909] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17909/stat : 17909 (java) S 17900 17900 17755 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17903/tid=17910] ppid=17900 vsize=865552 CPUtime=0
/proc/17903/task/17910/stat : 17910 (java) S 17900 17900 17755 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275000132 886325248 9781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 870904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17900 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=2999
CPU time returned by wait4() is 0.003998
while last known CPU time is 2400.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2413.14
CPU time (s): 2400.08
CPU user time (s): 2398.59
CPU system time (s): 1.49
CPU usage (%): 99.4587
Max. virtual memory (cumulated for all children) (KiB): 871128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2
runsolver used 2.87156 s user time and 7.80281 s system time
The end
Begin job on node48 on Sat Jan 20 04:06:52 UTC 2007
IDJOB= 277369
IDBENCH= 6646
IDSOLVER= 65
FILE ID= node48/277369-1169266010
PBS_JOBID= 3607363
Free space on /tmp= 66564 MiB
SOLVER NAME= CSP4J - MaxCSP 2006-12-19
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-7.xml
COMMAND LINE= /tmp/evaluation/277369-1169266010/cspfj.sh -solver MinConflicts -max -competition /tmp/evaluation/277369-1169266010/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-277369-1169266010 -o ROOT/results/node48/solver-277369-1169266010 -C 2400 -M 900 /tmp/evaluation/277369-1169266010/cspfj.sh -solver MinConflicts -max -competition /tmp/evaluation/277369-1169266010/unknown.xml
META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH= 23cb2427c56d1bc47bb8ccd76b20ab76
RANDOM SEED= 296919924
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.218
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.218
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: 1411024 kB
Buffers: 48804 kB
Cached: 498732 kB
SwapCached: 0 kB
Active: 83768 kB
Inactive: 483860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1411024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 564 kB
Writeback: 0 kB
Mapped: 30292 kB
Slab: 62996 kB
Committed_AS: 5511648 kB
PageTables: 1584 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= 66563 MiB
End job on node48 on Sat Jan 20 04:47:08 UTC 2007