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-4254359-1501616402/watcher-4254359-1501616402 -o /tmp/evaluation-result-4254359-1501616402/solver-4254359-1501616402 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5288 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1245939840 HOME/instance-4254359-1501616402.xml
pid=9361
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.59 1.83 1.86 3/200 9364
/proc/meminfo: memFree=31788188/32770624 swapFree=0/184264
[pid=9364] ppid=9361 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (runsolver) D 9361 9364 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9455567 24240128 106 18446744073709551615 4194304 4338465 140730612366208 140730612363848 140560081445591 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 18927616 140730612371549 140730612372038 140730612372038 140730612375498 0
/proc/9364/statm: 5918 106 53 36 0 2156 0
[startup+0.100061 s]
/proc/loadavg: 1.59 1.83 1.86 3/200 9364
/proc/meminfo: memFree=31788188/32770624 swapFree=0/184264
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200287 s]
/proc/loadavg: 1.59 1.83 1.86 3/200 9364
/proc/meminfo: memFree=31788188/32770624 swapFree=0/184264
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30025 s]
/proc/loadavg: 1.59 1.83 1.86 3/200 9364
/proc/meminfo: memFree=31788188/32770624 swapFree=0/184264
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700849 s]
/proc/loadavg: 1.59 1.83 1.86 3/200 9364
/proc/meminfo: memFree=31788188/32770624 swapFree=0/184264
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.59 1.83 1.86 3/216 9380
/proc/meminfo: memFree=31702124/32770624 swapFree=0/184324
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=2.34 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 14536 0 0 0 229 5 0 0 20 0 15 0 9455576 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 28280 3166 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 8627 0 0 0 130 3 0 0 20 0 15 0 9455577 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140035380557976 140035013365962 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9455577 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9455577 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9370] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9370/stat : 9370 (java) S 9364 9364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9455577 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140035331181200 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9371] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9371/stat : 9371 (java) S 9364 9364 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9455577 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140035330128400 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9372] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9372/stat : 9372 (java) S 9364 9364 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034854333040 140035376331394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034853279008 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034852226672 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=0.34 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 1327 0 0 0 34 0 0 0 20 0 15 0 9455582 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 1734 0 0 0 35 0 0 0 20 0 15 0 9455582 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 1534 0 0 0 29 0 0 0 20 0 15 0 9455582 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9455588 14316269568 28280 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13990244
[startup+3.1008 s]
/proc/loadavg: 1.59 1.83 1.86 3/216 9381
/proc/meminfo: memFree=31660668/32770624 swapFree=0/184324
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=4.13 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 16766 0 0 0 398 15 0 0 20 0 15 0 9455576 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 65813 3190 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=2.87 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 8746 0 0 0 283 4 0 0 20 0 15 0 9455577 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140035380558448 140035013365995 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 311 0 0 0 2 2 0 0 20 0 15 0 9455577 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 118 0 0 0 2 2 0 0 20 0 15 0 9455577 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9370] ppid=9364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9366/task/9370/stat : 9370 (java) S 9364 9364 5228 0 -1 1077944384 271 0 0 0 3 1 0 0 20 0 15 0 9455577 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140035331181200 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9371] ppid=9364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/9366/task/9371/stat : 9371 (java) S 9364 9364 5228 0 -1 1077944384 139 0 0 0 2 2 0 0 20 0 15 0 9455577 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140035330128400 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9372] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9372/stat : 9372 (java) S 9364 9364 5228 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034854333040 140035376331394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034853279008 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034852226672 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 1412 0 0 0 35 0 0 0 20 0 15 0 9455582 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=0.36 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 1832 0 0 0 36 0 0 0 20 0 15 0 9455582 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 2265 0 0 0 31 0 0 0 20 0 15 0 9455582 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9455588 14316269568 65813 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 13990244
[startup+6.3008 s]
/proc/loadavg: 1.54 1.81 1.86 5/216 9381
/proc/meminfo: memFree=31354136/32770624 swapFree=0/184336
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=8.89 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 23963 0 0 0 849 40 0 0 20 0 15 0 9455576 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 113349 3220 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=5.79 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 9676 0 0 0 574 5 0 0 20 0 15 0 9455577 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140035380556248 140035014271208 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 571 0 0 0 17 8 0 0 20 0 15 0 9455577 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 422 0 0 0 18 7 0 0 20 0 15 0 9455577 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9370] ppid=9364 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/9366/task/9370/stat : 9370 (java) S 9364 9364 5228 0 -1 1077944384 847 0 0 0 18 7 0 0 20 0 15 0 9455577 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140035331181200 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9371] ppid=9364 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/9366/task/9371/stat : 9371 (java) S 9364 9364 5228 0 -1 1077944384 758 0 0 0 18 7 0 0 20 0 15 0 9455577 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140035330128400 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9372] ppid=9364 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/9366/task/9372/stat : 9372 (java) S 9364 9364 5228 0 -1 1077944384 1502 0 0 0 7 0 0 0 20 0 15 0 9455579 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034854333040 140035376331394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034853279008 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034852226672 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 2750 0 0 0 74 0 0 0 20 0 15 0 9455582 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=0.8 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 3241 0 0 0 79 1 0 0 20 0 15 0 9455582 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 2668 0 0 0 41 1 0 0 20 0 15 0 9455582 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 9455588 14316269568 113349 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.50 1.80 1.85 3/216 9381
/proc/meminfo: memFree=31219912/32770624 swapFree=0/184344
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=17.26 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 32198 0 0 0 1683 43 0 0 20 0 15 0 9455576 14316269568 146085 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 146085 3235 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=12.18 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 10495 0 0 0 1211 7 0 0 20 0 15 0 9455577 14316269568 146085 18446744073709551615 4194304 4196468 140723173274704 140035380556680 140035015573274 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0.26 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 602 0 0 0 18 8 0 0 20 0 15 0 9455577 14316269568 146085 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 434 0 0 0 18 7 0 0 20 0 15 0 9455577 14316269568 146085 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
################
# More data... #
################
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034853279072 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034852226688 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=2.47 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 13372 0 0 0 246 1 0 0 20 0 15 0 9455582 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=2.17 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 10270 0 0 0 216 1 0 0 20 0 15 0 9455582 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 5623 0 0 0 58 1 0 0 20 0 15 0 9455582 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 806 0 0 0 3 3 0 0 20 0 15 0 9455588 14316269568 193645 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 108.47
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.86 1.84 1.86 3/216 9542
/proc/meminfo: memFree=30887620/32770624 swapFree=0/184536
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=168.8 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 59177 0 0 0 16821 59 0 0 20 0 15 0 9455576 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 211063 3245 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=161.68 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 17056 0 0 0 16158 10 0 0 20 0 15 0 9455577 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140035380556784 140035014360007 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 1339 0 0 0 25 10 0 0 20 0 15 0 9455577 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 1504 0 0 0 26 9 0 0 20 0 15 0 9455577 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9370] ppid=9364 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/9366/task/9370/stat : 9370 (java) S 9364 9364 5228 0 -1 1077944384 1500 0 0 0 26 9 0 0 20 0 15 0 9455577 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140035331181200 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9371] ppid=9364 vsize=13980732 CPUtime=0.35 cores=0,2,4,6
/proc/9366/task/9371/stat : 9371 (java) S 9364 9364 5228 0 -1 1077944384 1635 0 0 0 26 9 0 0 20 0 15 0 9455577 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140035330128400 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9372] ppid=9364 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/9366/task/9372/stat : 9372 (java) S 9364 9364 5228 0 -1 1077944384 2586 0 0 0 8 0 0 0 20 0 15 0 9455579 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034854333040 140035376331394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034853279072 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034852226688 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=2.62 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 14028 0 0 0 261 1 0 0 20 0 15 0 9455582 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=2.23 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 11322 0 0 0 221 2 0 0 20 0 15 0 9455582 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 6025 0 0 0 59 1 0 0 20 0 15 0 9455582 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 808 0 0 0 5 4 0 0 20 0 15 0 9455588 14316269568 211063 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 168.8
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.92 1.85 1.87 3/216 9545
/proc/meminfo: memFree=30855748/32770624 swapFree=0/184640
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=228.93 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 60690 0 0 0 22831 62 0 0 20 0 15 0 9455576 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 218741 3245 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=221.67 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 17419 0 0 0 22156 11 0 0 20 0 15 0 9455577 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140035380559488 140035014359952 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 1367 0 0 0 27 10 0 0 20 0 15 0 9455577 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 1653 0 0 0 28 9 0 0 20 0 15 0 9455577 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9370] ppid=9364 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/9366/task/9370/stat : 9370 (java) S 9364 9364 5228 0 -1 1077944384 2068 0 0 0 28 9 0 0 20 0 15 0 9455577 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140035331181200 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9371] ppid=9364 vsize=13980732 CPUtime=0.37 cores=0,2,4,6
/proc/9366/task/9371/stat : 9371 (java) S 9364 9364 5228 0 -1 1077944384 1770 0 0 0 28 9 0 0 20 0 15 0 9455577 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140035330128400 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9372] ppid=9364 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/9366/task/9372/stat : 9372 (java) S 9364 9364 5228 0 -1 1077944384 2818 0 0 0 9 0 0 0 20 0 15 0 9455579 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034854333040 140035376331394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034853279072 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034852226688 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=2.63 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 14035 0 0 0 262 1 0 0 20 0 15 0 9455582 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=2.23 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 11325 0 0 0 221 2 0 0 20 0 15 0 9455582 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 6030 0 0 0 59 1 0 0 20 0 15 0 9455582 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 831 0 0 0 8 6 0 0 20 0 15 0 9455588 14316269568 218741 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 228.93
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.94 1.86 1.87 3/215 9546
/proc/meminfo: memFree=30834936/32770624 swapFree=0/184676
[pid=9364] ppid=9361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9364/stat : 9364 (xcsp3-exec) S 9361 9364 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9455567 9740288 344 18446744073709551615 4194304 5098028 140733279701872 140733279699976 140461022823036 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 9 0 0 7196144 7232144 40083456 140733279703451 140733279703655 140733279703655 140733279707115 0
/proc/9364/statm: 2378 344 289 221 0 87 0
[pid=9366] ppid=9364 vsize=13980732 CPUtime=246.67 cores=0,2,4,6
/proc/9366/stat : 9366 (java) S 9364 9364 5228 0 -1 1077944320 61758 0 0 0 24604 63 0 0 20 0 15 0 9455576 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140723173257248 140035376320247 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
/proc/9366/statm: 3495183 223861 3245 1 0 3483484 0
[pid=9366/tid=9367] ppid=9364 vsize=13980732 CPUtime=239.35 cores=0,2,4,6
/proc/9366/task/9367/stat : 9367 (java) R 9364 9364 5228 0 -1 4202560 18450 0 0 0 23924 11 0 0 20 0 15 0 9455577 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140035380559312 140035014360045 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9368] ppid=9364 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/9366/task/9368/stat : 9368 (java) S 9364 9364 5228 0 -1 1077944384 1374 0 0 0 28 11 0 0 20 0 15 0 9455577 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140035333286288 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9369] ppid=9364 vsize=13980732 CPUtime=0.39 cores=0,2,4,6
/proc/9366/task/9369/stat : 9369 (java) S 9364 9364 5228 0 -1 1077944384 1661 0 0 0 29 10 0 0 20 0 15 0 9455577 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140035332233488 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9370] ppid=9364 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/9366/task/9370/stat : 9370 (java) S 9364 9364 5228 0 -1 1077944384 2073 0 0 0 29 9 0 0 20 0 15 0 9455577 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140035331181200 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9371] ppid=9364 vsize=13980732 CPUtime=0.38 cores=0,2,4,6
/proc/9366/task/9371/stat : 9371 (java) S 9364 9364 5228 0 -1 1077944384 1778 0 0 0 29 9 0 0 20 0 15 0 9455577 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140035330128400 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9372] ppid=9364 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/9366/task/9372/stat : 9372 (java) S 9364 9364 5228 0 -1 1077944384 2827 0 0 0 9 0 0 0 20 0 15 0 9455579 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034854333040 140035376331394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9373] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9373/stat : 9373 (java) S 9364 9364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034853279072 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9374] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9374/stat : 9374 (java) S 9364 9364 5228 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 9455579 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034852226688 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9375] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9375/stat : 9375 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034851174992 140035376338843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9376] ppid=9364 vsize=13980732 CPUtime=2.63 cores=0,2,4,6
/proc/9366/task/9376/stat : 9376 (java) S 9364 9364 5228 0 -1 1077944384 14035 0 0 0 262 1 0 0 20 0 15 0 9455582 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034850121840 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9377] ppid=9364 vsize=13980732 CPUtime=2.23 cores=0,2,4,6
/proc/9366/task/9377/stat : 9377 (java) S 9364 9364 5228 0 -1 1077944384 11325 0 0 0 221 2 0 0 20 0 15 0 9455582 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034849069040 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9378] ppid=9364 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/9366/task/9378/stat : 9378 (java) S 9364 9364 5228 0 -1 1077944384 6030 0 0 0 59 1 0 0 20 0 15 0 9455582 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034848016752 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9379] ppid=9364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9366/task/9379/stat : 9379 (java) S 9364 9364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9455582 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034846964192 140035376330453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
[pid=9366/tid=9380] ppid=9364 vsize=13980732 CPUtime=0.16 cores=0,2,4,6
/proc/9366/task/9380/stat : 9380 (java) S 9364 9364 5228 0 -1 1077944384 831 0 0 0 9 7 0 0 20 0 15 0 9455588 14316269568 223861 18446744073709551615 4194304 4196468 140723173274704 140034845911984 140035376331394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19357696 140723173282260 140723173282435 140723173282435 140723173285839 0
Current children cumulated CPU time (s) 246.67
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 9366 sig 9
??? kill 9364 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 9364 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=954
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=954
# CPU time returned by wait4() is 0.001908
# while last known CPU time is 246.67
#
# 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): 246.67
CPU user time (s): 246.04
CPU system time (s): 0.63
CPU usage (%): 102.775
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000954
system time used= 0.000954
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 0.777514 second user time and 1.91417 second system time
The end