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-4254060-1501612826/watcher-4254060-1501612826 -o /tmp/evaluation-result-4254060-1501612826/solver-4254060-1501612826 -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 592796108 HOME/instance-4254060-1501612826.xml
pid=6361
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.92 1.78 1.49 6/200 6364
/proc/meminfo: memFree=31750044/32770624 swapFree=0/180640
[pid=6364] ppid=6361 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (runsolver) D 6361 6364 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9097901 24240128 108 18446744073709551615 4194304 4338465 140728511827664 140728511825304 140665279517399 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 39243776 140728511832158 140728511832646 140728511832646 140728511836106 0
/proc/6364/statm: 5918 108 54 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.92 1.78 1.49 6/200 6364
/proc/meminfo: memFree=31750044/32770624 swapFree=0/180640
[pid=6364] ppid=6361 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (runsolver) D 6361 6364 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9097901 24240128 108 18446744073709551615 4194304 4338465 140728511827664 140728511825304 140665279517399 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 39243776 140728511832158 140728511832646 140728511832646 140728511836106 0
/proc/6364/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200226 s]
/proc/loadavg: 1.92 1.78 1.49 6/200 6364
/proc/meminfo: memFree=31750044/32770624 swapFree=0/180640
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300296 s]
/proc/loadavg: 1.92 1.78 1.49 6/200 6364
/proc/meminfo: memFree=31750044/32770624 swapFree=0/180640
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.707584 s]
/proc/loadavg: 1.92 1.78 1.49 6/200 6364
/proc/meminfo: memFree=31750044/32770624 swapFree=0/180640
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50163 s]
/proc/loadavg: 1.92 1.78 1.49 7/216 6380
/proc/meminfo: memFree=31646724/32770624 swapFree=0/180644
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=3.88 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 25587 0 0 0 381 7 0 0 20 0 15 0 9097911 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 33575 3179 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 8819 0 0 0 131 4 0 0 20 0 15 0 9097911 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139772094419320 139771736760887 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6370] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6370/stat : 6370 (java) S 6364 6364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771687983760 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6371] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6371/stat : 6371 (java) S 6364 6364 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771686930960 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6372] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6372/stat : 6372 (java) S 6364 6364 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9097913 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771006622320 139772090194562 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) R 6364 6364 5228 0 -1 4202560 6629 0 0 0 99 1 0 0 20 0 15 0 9097916 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771002397688 139772069439995 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=0.98 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 6392 0 0 0 97 1 0 0 20 0 15 0 9097916 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 2438 0 0 0 52 0 0 0 20 0 15 0 9097916 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097919 14316269568 33575 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.92 1.78 1.49 3/216 6380
/proc/meminfo: memFree=31574292/32770624 swapFree=0/180644
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=6.24 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 26735 0 0 0 617 7 0 0 20 0 15 0 9097911 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 39536 3187 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 9138 0 0 0 290 4 0 0 20 0 15 0 9097911 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139772094419760 139771736760769 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6370] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6370/stat : 6370 (java) S 6364 6364 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771687983760 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6371] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6371/stat : 6371 (java) S 6364 6364 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771686930960 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6372] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6372/stat : 6372 (java) S 6364 6364 5228 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 9097913 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771006622320 139772090194562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1.4 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) S 6364 6364 5228 0 -1 1077944384 6995 0 0 0 139 1 0 0 20 0 15 0 9097916 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771002411120 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=1.33 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 6506 0 0 0 132 1 0 0 20 0 15 0 9097916 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 2747 0 0 0 55 1 0 0 20 0 15 0 9097916 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9097919 14316269568 39536 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13990244
[startup+6.30057 s]
/proc/loadavg: 1.93 1.79 1.50 3/216 6380
/proc/meminfo: memFree=31449368/32770624 swapFree=0/180656
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=9.5 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 30971 0 0 0 941 9 0 0 20 0 15 0 9097911 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 53497 3213 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 9569 0 0 0 608 4 0 0 20 0 15 0 9097911 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139772094422888 139771736461456 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6370] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6370/stat : 6370 (java) S 6364 6364 5228 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771687983760 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6371] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6371/stat : 6371 (java) S 6364 6364 5228 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771686930960 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6372] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6372/stat : 6372 (java) S 6364 6364 5228 0 -1 1077944384 541 0 0 0 0 0 0 0 20 0 15 0 9097913 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771006622320 139772090194562 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) S 6364 6364 5228 0 -1 1077944384 7022 0 0 0 140 1 0 0 20 0 15 0 9097916 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771002411120 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 7011 0 0 0 133 1 0 0 20 0 15 0 9097916 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 3618 0 0 0 56 1 0 0 20 0 15 0 9097916 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 715 0 0 0 0 0 0 0 20 0 15 0 9097919 14316269568 53497 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.93 1.79 1.50 3/216 6380
/proc/meminfo: memFree=31399620/32770624 swapFree=0/180664
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=15.93 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 31800 0 0 0 1584 9 0 0 20 0 15 0 9097911 14316269568 53715 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 53715 3213 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=12.52 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 9780 0 0 0 1247 5 0 0 20 0 15 0 9097911 14316269568 53715 18446744073709551615 4194304 4196468 140728682299168 139772094422104 139771736492473 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 53715 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 749 0 0 0 0 0 0 0 20 0 15 0 9097912 14316269568 53715 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
################
# More data... #
################
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) S 6364 6364 5228 0 -1 1077944384 8255 0 0 0 144 1 0 0 20 0 15 0 9097916 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139771002411120 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 7982 0 0 0 136 1 0 0 20 0 15 0 9097916 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 5684 0 0 0 58 1 0 0 20 0 15 0 9097916 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 890 0 0 0 1 1 0 0 20 0 15 0 9097919 14316269568 42743 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 105.72
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.74 1.78 1.54 3/216 6388
/proc/meminfo: memFree=31199720/32770624 swapFree=0/180740
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=165.84 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 44772 0 0 0 16570 14 0 0 20 0 15 0 9097911 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 37873 3225 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=162.03 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 12298 0 0 0 16198 5 0 0 20 0 15 0 9097911 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139772094422800 139771736614840 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 15 0 9097912 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 1872 0 0 0 4 1 0 0 20 0 15 0 9097912 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6370] ppid=6364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6366/task/6370/stat : 6370 (java) S 6364 6364 5228 0 -1 1077944384 468 0 0 0 4 0 0 0 20 0 15 0 9097912 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771687983760 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6371] ppid=6364 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/6366/task/6371/stat : 6371 (java) S 6364 6364 5228 0 -1 1077944384 1547 0 0 0 3 1 0 0 20 0 15 0 9097912 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771686930960 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6372] ppid=6364 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6366/task/6372/stat : 6372 (java) S 6364 6364 5228 0 -1 1077944384 1481 0 0 0 4 1 0 0 20 0 15 0 9097913 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771006622320 139772090194562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1.46 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) S 6364 6364 5228 0 -1 1077944384 8774 0 0 0 145 1 0 0 20 0 15 0 9097916 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771002411120 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 9278 0 0 0 141 1 0 0 20 0 15 0 9097916 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 6113 0 0 0 58 1 0 0 20 0 15 0 9097916 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 896 0 0 0 2 1 0 0 20 0 15 0 9097919 14316269568 37873 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 165.84
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.70 1.77 1.55 3/216 6396
/proc/meminfo: memFree=31174236/32770624 swapFree=0/180764
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=226.02 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 47955 0 0 0 22586 16 0 0 20 0 15 0 9097911 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 38404 3225 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=221.96 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 12701 0 0 0 22191 5 0 0 20 0 15 0 9097911 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139772094422224 139771736755571 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 642 0 0 0 7 0 0 0 20 0 15 0 9097912 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 1979 0 0 0 6 1 0 0 20 0 15 0 9097912 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6370] ppid=6364 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6366/task/6370/stat : 6370 (java) S 6364 6364 5228 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 15 0 9097912 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771687983760 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6371] ppid=6364 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/6366/task/6371/stat : 6371 (java) S 6364 6364 5228 0 -1 1077944384 1573 0 0 0 6 1 0 0 20 0 15 0 9097912 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771686930960 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6372] ppid=6364 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6366/task/6372/stat : 6372 (java) S 6364 6364 5228 0 -1 1077944384 1704 0 0 0 7 1 0 0 20 0 15 0 9097913 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771006622320 139772090194562 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) S 6364 6364 5228 0 -1 1077944384 9957 0 0 0 151 1 0 0 20 0 15 0 9097916 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771002411120 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=1.43 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 9553 0 0 0 142 1 0 0 20 0 15 0 9097916 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 7001 0 0 0 59 1 0 0 20 0 15 0 9097916 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 920 0 0 0 3 2 0 0 20 0 15 0 9097919 14316269568 38404 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 226.02
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.87 1.80 1.56 5/214 6427
/proc/meminfo: memFree=31617484/32770624 swapFree=0/180764
[pid=6364] ppid=6361 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/6364/stat : 6364 (xcsp3-exec) S 6361 6364 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9097901 9740288 345 18446744073709551615 4194304 5098028 140733296240304 140733296238408 140089997599356 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 39022592 140733296247196 140733296247399 140733296247399 140733296250859 0
/proc/6364/statm: 2378 345 289 221 0 87 0
[pid=6366] ppid=6364 vsize=13980732 CPUtime=243.76 cores=0,2,4,6
/proc/6366/stat : 6366 (java) S 6364 6364 5228 0 -1 1077944320 48468 0 0 0 24359 17 0 0 20 0 15 0 9097911 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 140728682281712 139772090183415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
/proc/6366/statm: 3495183 38411 3225 1 0 3483484 0
[pid=6366/tid=6367] ppid=6364 vsize=13980732 CPUtime=239.63 cores=0,2,4,6
/proc/6366/task/6367/stat : 6367 (java) R 6364 6364 5228 0 -1 4202560 12723 0 0 0 23958 5 0 0 20 0 15 0 9097911 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139772094422960 139771736667574 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6368] ppid=6364 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6366/task/6368/stat : 6368 (java) S 6364 6364 5228 0 -1 1077944384 646 0 0 0 7 1 0 0 20 0 15 0 9097912 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139772062026128 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6369] ppid=6364 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6366/task/6369/stat : 6369 (java) S 6364 6364 5228 0 -1 1077944384 1982 0 0 0 7 1 0 0 20 0 15 0 9097912 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771689036048 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6370] ppid=6364 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6366/task/6370/stat : 6370 (java) S 6364 6364 5228 0 -1 1077944384 506 0 0 0 8 0 0 0 20 0 15 0 9097912 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771687983760 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6371] ppid=6364 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/6366/task/6371/stat : 6371 (java) S 6364 6364 5228 0 -1 1077944384 1576 0 0 0 7 1 0 0 20 0 15 0 9097912 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771686930960 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6372] ppid=6364 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/6366/task/6372/stat : 6372 (java) S 6364 6364 5228 0 -1 1077944384 1705 0 0 0 8 2 0 0 20 0 15 0 9097913 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771006622320 139772090194562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6373] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6373/stat : 6373 (java) S 6364 6364 5228 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771005568288 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6374] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6374/stat : 6374 (java) S 6364 6364 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9097914 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771004515952 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6375] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097916 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771003464272 139772090202011 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6376] ppid=6364 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/6366/task/6376/stat : 6376 (java) S 6364 6364 5228 0 -1 1077944384 9957 0 0 0 151 1 0 0 20 0 15 0 9097916 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771002411120 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6377] ppid=6364 vsize=13980732 CPUtime=1.44 cores=0,2,4,6
/proc/6366/task/6377/stat : 6377 (java) S 6364 6364 5228 0 -1 1077944384 10029 0 0 0 143 1 0 0 20 0 15 0 9097916 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771001358320 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6378] ppid=6364 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/6366/task/6378/stat : 6378 (java) S 6364 6364 5228 0 -1 1077944384 7001 0 0 0 59 1 0 0 20 0 15 0 9097916 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139771000306032 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6379] ppid=6364 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6379/stat : 6379 (java) S 6364 6364 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9097917 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139770999253472 139772090193621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
[pid=6366/tid=6380] ppid=6364 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/6366/task/6380/stat : 6380 (java) S 6364 6364 5228 0 -1 1077944384 921 0 0 0 3 3 0 0 20 0 15 0 9097919 14316269568 38411 18446744073709551615 4194304 4196468 140728682299168 139770998201264 139772090194562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38985728 140728682308052 140728682308227 140728682308227 140728682311631 0
Current children cumulated CPU time (s) 243.76
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 6366 sig 9
??? kill 6364 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 6364 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=957
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=957
# CPU time returned by wait4() is 0.001914
# while last known CPU time is 243.76
#
# 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): 243.76
CPU user time (s): 243.59
CPU system time (s): 0.17
CPU usage (%): 101.562
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000957
system time used= 0.000957
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.00338 second user time and 1.45822 second system time
The end