runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254927-1501622650/watcher-4254927-1501622650 -o /tmp/evaluation-result-4254927-1501622650/solver-4254927-1501622650 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 784617405 HOME/instance-4254927-1501622650.xml
pid=16602
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.77 1.68 1.72 4/199 16605
/proc/meminfo: memFree=31866156/32770624 swapFree=0/172008
[pid=16605] ppid=16602 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (runsolver) D 16602 16605 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4175613 24240128 107 18446744073709551615 4194304 4338465 140732437565952 140732437563592 140158414267095 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24449024 140732437569631 140732437570119 140732437570119 140732437573578 0
/proc/16605/statm: 5918 107 54 36 0 2156 0
[startup+0.106843 s]
/proc/loadavg: 1.77 1.68 1.72 4/199 16605
/proc/meminfo: memFree=31866156/32770624 swapFree=0/172008
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200219 s]
/proc/loadavg: 1.77 1.68 1.72 4/199 16605
/proc/meminfo: memFree=31866156/32770624 swapFree=0/172008
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300306 s]
/proc/loadavg: 1.77 1.68 1.72 4/199 16605
/proc/meminfo: memFree=31866156/32770624 swapFree=0/172008
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700402 s]
/proc/loadavg: 1.77 1.68 1.72 4/199 16605
/proc/meminfo: memFree=31866156/32770624 swapFree=0/172008
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 1.77 1.68 1.72 3/215 16621
/proc/meminfo: memFree=31723808/32770624 swapFree=0/172024
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=3.14 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 20335 0 0 0 305 9 0 0 20 0 15 0 4175618 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 50468 3202 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 10063 0 0 0 133 4 0 0 20 0 15 0 4175618 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140302471894160 140302107229910 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16611] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16605 3187 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140302065265168 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16612] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16605 3187 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140302064212624 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16613] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16605 3187 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 4175620 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301945506288 140302467668610 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301944452512 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301943399920 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 2332 0 0 0 65 0 0 0 20 0 15 0 4175624 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 2511 0 0 0 63 0 0 0 20 0 15 0 4175624 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 3017 0 0 0 36 0 0 0 20 0 15 0 4175624 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 4175627 14316269568 50468 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 1.77 1.68 1.72 3/215 16621
/proc/meminfo: memFree=31667160/32770624 swapFree=0/172024
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=5.26 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 21025 0 0 0 517 9 0 0 20 0 15 0 4175618 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 50643 3203 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 10069 0 0 0 293 4 0 0 20 0 15 0 4175618 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140302471895368 140302107467276 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16611] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16605 3187 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140302065265168 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16612] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16605 3187 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140302064212624 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16613] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16605 3187 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 4175620 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301945506288 140302467668610 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301944452512 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301943399920 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=0.85 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 2514 0 0 0 85 0 0 0 20 0 15 0 4175624 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=0.9 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 2920 0 0 0 89 1 0 0 20 0 15 0 4175624 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 3110 0 0 0 41 0 0 0 20 0 15 0 4175624 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 4175627 14316269568 50643 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 13990244
[startup+6.30076 s]
/proc/loadavg: 1.78 1.68 1.72 4/215 16621
/proc/meminfo: memFree=31662408/32770624 swapFree=0/172036
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=8.79 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 22619 0 0 0 870 9 0 0 20 0 15 0 4175618 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 51777 3209 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=6.17 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 10075 0 0 0 613 4 0 0 20 0 15 0 4175618 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140302471893104 140302107467763 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16611] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16605 3187 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140302065265168 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16612] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16605 3187 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140302064212624 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16613] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16605 3187 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 4175620 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301945506288 140302467668610 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301944452512 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301943399920 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=0.97 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 2726 0 0 0 97 0 0 0 20 0 15 0 4175624 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=1.11 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 4233 0 0 0 110 1 0 0 20 0 15 0 4175624 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 3143 0 0 0 41 0 0 0 20 0 15 0 4175624 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 4175627 14316269568 51777 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.80 1.69 1.72 3/215 16621
/proc/meminfo: memFree=31665220/32770624 swapFree=0/172048
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=15.63 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 27738 0 0 0 1553 10 0 0 20 0 15 0 4175618 14316269568 52187 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 52187 3210 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 10502 0 0 0 1253 4 0 0 20 0 15 0 4175618 14316269568 52187 18446744073709551615 4194304 4196468 140736541761056 140302471893024 140302107468121 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 52187 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 4175619 14316269568 52187 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
################
# More data... #
################
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301944452512 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301943399920 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 9117 0 0 0 151 1 0 0 20 0 15 0 4175624 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=1.53 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 9234 0 0 0 152 1 0 0 20 0 15 0 4175624 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 3946 0 0 0 45 1 0 0 20 0 15 0 4175624 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 637 0 0 0 3 3 0 0 20 0 15 0 4175627 14316269568 53249 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 105.89
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.07 1.84 1.78 3/215 16626
/proc/meminfo: memFree=31542016/32770624 swapFree=0/172128
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=169.12 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 50713 0 0 0 16885 27 0 0 20 0 15 0 4175618 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 98184 3230 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=162.11 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 13357 0 0 0 16204 7 0 0 20 0 15 0 4175618 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140302471896304 140302105472585 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 196 0 0 0 7 2 0 0 20 0 15 0 4175619 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 528 0 0 0 7 2 0 0 20 0 15 0 4175619 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16611] ppid=16605 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16605 3187 0 -1 1077944384 381 0 0 0 7 2 0 0 20 0 15 0 4175619 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140302065265168 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16612] ppid=16605 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16605 3187 0 -1 1077944384 179 0 0 0 7 1 0 0 20 0 15 0 4175619 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140302064212624 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16613] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16605 3187 0 -1 1077944384 740 0 0 0 1 0 0 0 20 0 15 0 4175620 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301945506288 140302467668610 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301944452576 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301943399936 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 14679 0 0 0 300 2 0 0 20 0 15 0 4175624 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=2.8 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 12287 0 0 0 278 2 0 0 20 0 15 0 4175624 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 6286 0 0 0 65 1 0 0 20 0 15 0 4175624 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 689 0 0 0 5 5 0 0 20 0 15 0 4175627 14316269568 98184 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 169.12
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.92 1.84 1.78 3/214 16706
/proc/meminfo: memFree=31409796/32770624 swapFree=0/172204
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=230.76 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 51260 0 0 0 23044 32 0 0 20 0 15 0 4175618 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 106189 3232 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=222.08 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 13513 0 0 0 22201 7 0 0 20 0 15 0 4175618 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302471893992 140302107467935 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 212 0 0 0 9 3 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 541 0 0 0 8 3 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16611] ppid=16605 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16605 3187 0 -1 1077944384 396 0 0 0 8 3 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302065265168 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16612] ppid=16605 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16605 3187 0 -1 1077944384 195 0 0 0 9 2 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302064212624 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16613] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16605 3187 0 -1 1077944384 742 0 0 0 1 0 0 0 20 0 15 0 4175620 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301945506288 140302467668610 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301944452576 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301943399936 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=3.7 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 14795 0 0 0 367 3 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=3.57 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 12401 0 0 0 355 2 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 6385 0 0 0 72 1 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 689 0 0 0 7 6 0 0 20 0 15 0 4175627 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 230.76
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.79 1.81 1.77 3/214 16706
/proc/meminfo: memFree=31370740/32770624 swapFree=0/172228
[pid=16605] ppid=16602 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16605/stat : 16605 (xcsp3-exec) S 16602 16605 3187 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 4175613 9740288 344 18446744073709551615 4194304 5098028 140725589879728 140725589877832 140566963049084 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 34349056 140725589885341 140725589885544 140725589885544 140725589889003 0
/proc/16605/statm: 2378 344 289 221 0 87 0
[pid=16607] ppid=16605 vsize=13980732 CPUtime=248.47 cores=0,2,4,6
/proc/16607/stat : 16607 (java) S 16605 16605 3187 0 -1 1077944320 51568 0 0 0 24814 33 0 0 20 0 15 0 4175618 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140736541743600 140302467657463 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
/proc/16607/statm: 3495183 106189 3232 1 0 3483484 0
[pid=16607/tid=16608] ppid=16605 vsize=13980732 CPUtime=239.78 cores=0,2,4,6
/proc/16607/task/16608/stat : 16608 (java) R 16605 16605 3187 0 -1 4202560 13754 0 0 0 23971 7 0 0 20 0 15 0 4175618 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302471893992 140302107468121 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16609] ppid=16605 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/16607/task/16609/stat : 16609 (java) S 16605 16605 3187 0 -1 1077944384 212 0 0 0 9 3 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302424623376 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16610] ppid=16605 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/16607/task/16610/stat : 16610 (java) S 16605 16605 3187 0 -1 1077944384 541 0 0 0 8 3 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302423570832 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16611] ppid=16605 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/16607/task/16611/stat : 16611 (java) S 16605 16605 3187 0 -1 1077944384 396 0 0 0 8 3 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302065265168 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16612] ppid=16605 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/16607/task/16612/stat : 16612 (java) S 16605 16605 3187 0 -1 1077944384 195 0 0 0 9 2 0 0 20 0 15 0 4175619 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140302064212624 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16613] ppid=16605 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/16607/task/16613/stat : 16613 (java) S 16605 16605 3187 0 -1 1077944384 752 0 0 0 1 0 0 0 20 0 15 0 4175620 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301945506288 140302467668610 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16614] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16614/stat : 16614 (java) S 16605 16605 3187 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301944452576 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16615] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16615/stat : 16615 (java) S 16605 16605 3187 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 4175621 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301943399936 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16616] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16616/stat : 16616 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301942348496 140302467676059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16617] ppid=16605 vsize=13980732 CPUtime=3.7 cores=0,2,4,6
/proc/16607/task/16617/stat : 16617 (java) S 16605 16605 3187 0 -1 1077944384 14799 0 0 0 367 3 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301941295088 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16618] ppid=16605 vsize=13980732 CPUtime=3.57 cores=0,2,4,6
/proc/16607/task/16618/stat : 16618 (java) S 16605 16605 3187 0 -1 1077944384 12404 0 0 0 355 2 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301940242544 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16619] ppid=16605 vsize=13980732 CPUtime=0.73 cores=0,2,4,6
/proc/16607/task/16619/stat : 16619 (java) S 16605 16605 3187 0 -1 1077944384 6398 0 0 0 72 1 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301939190000 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16620] ppid=16605 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16607/task/16620/stat : 16620 (java) S 16605 16605 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 4175624 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301938137696 140302467667669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
[pid=16607/tid=16621] ppid=16605 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/16607/task/16621/stat : 16621 (java) S 16605 16605 3187 0 -1 1077944384 726 0 0 0 8 6 0 0 20 0 15 0 4175627 14316269568 106189 18446744073709551615 4194304 4196468 140736541761056 140301937085232 140302467668610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6766592 140736541762005 140736541762180 140736541762180 140736541765583 0
Current children cumulated CPU time (s) 248.47
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16607 sig 9
??? kill 16605 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16605 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1892
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=118
# CPU time returned by wait4() is 0.00201
# while last known CPU time is 248.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 248.47
CPU user time (s): 248.14
CPU system time (s): 0.33
CPU usage (%): 103.525
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001892
system time used= 0.000118
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
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= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07236 second user time and 1.54573 second system time
The end