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-4254018-1501614087/watcher-4254018-1501614087 -o /tmp/evaluation-result-4254018-1501614087/solver-4254018-1501614087 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 366409269 HOME/instance-4254018-1501614087.xml
pid=7353
running on 4 cores: 1,3,5,7
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.67 1.85 1.80 3/200 7356
/proc/meminfo: memFree=31782392/32770624 swapFree=0/181660
[pid=7356] ppid=7353 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (runsolver) D 7353 7356 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9224070 24240128 106 18446744073709551615 4194304 4338465 140734713137088 140734713134728 139747073843927 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38490112 140734713139294 140734713139782 140734713139782 140734713143242 0
/proc/7356/statm: 5918 106 53 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 1.67 1.85 1.80 3/200 7356
/proc/meminfo: memFree=31782392/32770624 swapFree=0/181660
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200304 s]
/proc/loadavg: 1.67 1.85 1.80 3/200 7356
/proc/meminfo: memFree=31782392/32770624 swapFree=0/181660
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30093 s]
/proc/loadavg: 1.67 1.85 1.80 3/200 7356
/proc/meminfo: memFree=31782392/32770624 swapFree=0/181660
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700177 s]
/proc/loadavg: 1.67 1.85 1.80 3/200 7356
/proc/meminfo: memFree=31782392/32770624 swapFree=0/181660
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.67 1.85 1.80 5/216 7372
/proc/meminfo: memFree=31712072/32770624 swapFree=0/181692
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=3.32 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 20808 0 0 0 327 5 0 0 20 0 15 0 9224076 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 21815 3176 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 9849 0 0 0 135 3 0 0 20 0 15 0 9224077 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811559767056 139811201720734 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7362] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7362/stat : 7362 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811153504912 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7363] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7363/stat : 7363 (java) S 7356 7356 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811152452112 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7364] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7364/stat : 7364 (java) S 7356 7356 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811034151536 139811555539586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 4011 0 0 0 77 0 0 0 20 0 15 0 9224082 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) R 7356 7356 5228 0 -1 4202560 3221 0 0 0 76 0 0 0 20 0 15 0 9224082 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811537072920 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 2366 0 0 0 37 0 0 0 20 0 15 0 9224082 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9224086 14316269568 21815 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 1.67 1.85 1.80 3/216 7372
/proc/meminfo: memFree=31703200/32770624 swapFree=0/181692
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=5.49 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 22813 0 0 0 544 5 0 0 20 0 15 0 9224076 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 25859 3183 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 9944 0 0 0 295 3 0 0 20 0 15 0 9224077 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811559765416 139811201409391 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7362] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7362/stat : 7362 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811153504912 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7363] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7363/stat : 7363 (java) S 7356 7356 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811152452112 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7364] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7364/stat : 7364 (java) S 7356 7356 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811034151536 139811555539586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=1.03 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 4557 0 0 0 103 0 0 0 20 0 15 0 9224082 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=1.05 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) S 7356 7356 5228 0 -1 1077944384 4102 0 0 0 104 1 0 0 20 0 15 0 9224082 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 2832 0 0 0 40 0 0 0 20 0 15 0 9224082 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9224086 14316269568 25859 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 13990244
[startup+6.30062 s]
/proc/loadavg: 1.70 1.86 1.80 3/216 7372
/proc/meminfo: memFree=31666432/32770624 swapFree=0/181700
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=8.93 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 26832 0 0 0 887 6 0 0 20 0 15 0 9224076 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 32074 3186 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 10705 0 0 0 614 3 0 0 20 0 15 0 9224077 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811559767128 139811200884240 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7362] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7362/stat : 7362 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811153504912 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7363] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7363/stat : 7363 (java) S 7356 7356 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811152452112 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7364] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7364/stat : 7364 (java) S 7356 7356 5228 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811034151536 139811555539586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=1.1 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 5512 0 0 0 110 0 0 0 20 0 15 0 9224082 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=1.2 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) S 7356 7356 5228 0 -1 1077944384 5346 0 0 0 119 1 0 0 20 0 15 0 9224082 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 3313 0 0 0 42 0 0 0 20 0 15 0 9224082 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 9224086 14316269568 32074 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.64 1.84 1.80 3/216 7372
/proc/meminfo: memFree=31651236/32770624 swapFree=0/181708
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=15.6 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 32592 0 0 0 1554 6 0 0 20 0 15 0 9224076 14316269568 36234 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 36234 3188 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=12.58 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 11732 0 0 0 1254 4 0 0 20 0 15 0 9224077 14316269568 36234 18446744073709551615 4194304 4196468 140731638964720 139811559764504 139811201270169 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 36234 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9224077 14316269568 36234 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
################
# More data... #
################
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 11456 0 0 0 173 1 0 0 20 0 15 0 9224082 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) S 7356 7356 5228 0 -1 1077944384 12253 0 0 0 194 1 0 0 20 0 15 0 9224082 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 4984 0 0 0 46 0 0 0 20 0 15 0 9224082 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 9224086 14316269568 51021 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 106.48
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.79 1.85 1.81 3/214 7383
/proc/meminfo: memFree=31597268/32770624 swapFree=0/181784
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=166.59 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 52816 0 0 0 16646 13 0 0 20 0 15 0 9224076 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 43725 3224 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=162.1 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 14443 0 0 0 16206 4 0 0 20 0 15 0 9224077 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811559767872 139811200884258 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1190 0 0 0 2 0 0 0 20 0 15 0 9224077 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 9224077 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7362] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7362/stat : 7362 (java) S 7356 7356 5228 0 -1 1077944384 870 0 0 0 2 1 0 0 20 0 15 0 9224077 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811153504912 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7363] ppid=7356 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7358/task/7363/stat : 7363 (java) S 7356 7356 5228 0 -1 1077944384 919 0 0 0 2 0 0 0 20 0 15 0 9224077 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811152452112 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7364] ppid=7356 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7358/task/7364/stat : 7364 (java) S 7356 7356 5228 0 -1 1077944384 1193 0 0 0 2 0 0 0 20 0 15 0 9224079 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811034151536 139811555539586 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 13328 0 0 0 179 1 0 0 20 0 15 0 9224082 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=1.99 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) S 7356 7356 5228 0 -1 1077944384 13457 0 0 0 197 2 0 0 20 0 15 0 9224082 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 5268 0 0 0 46 0 0 0 20 0 15 0 9224082 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 565 0 0 0 1 1 0 0 20 0 15 0 9224086 14316269568 43725 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 166.59
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.82 1.86 1.81 3/215 7464
/proc/meminfo: memFree=31655108/32770624 swapFree=0/181876
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=226.68 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 56361 0 0 0 22653 15 0 0 20 0 15 0 9224076 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 37067 3224 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=222.08 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 15033 0 0 0 22204 4 0 0 20 0 15 0 9224077 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811559768080 139811200862560 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1223 0 0 0 3 1 0 0 20 0 15 0 9224077 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 15 0 9224077 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7362] ppid=7356 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7358/task/7362/stat : 7362 (java) S 7356 7356 5228 0 -1 1077944384 916 0 0 0 3 1 0 0 20 0 15 0 9224077 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811153504912 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7363] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7363/stat : 7363 (java) S 7356 7356 5228 0 -1 1077944384 1316 0 0 0 3 0 0 0 20 0 15 0 9224077 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811152452112 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7364] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7364/stat : 7364 (java) S 7356 7356 5228 0 -1 1077944384 1446 0 0 0 3 0 0 0 20 0 15 0 9224079 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811034151536 139811555539586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 13330 0 0 0 179 1 0 0 20 0 15 0 9224082 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) S 7356 7356 5228 0 -1 1077944384 15035 0 0 0 201 2 0 0 20 0 15 0 9224082 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 5865 0 0 0 47 0 0 0 20 0 15 0 9224082 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 590 0 0 0 2 2 0 0 20 0 15 0 9224086 14316269568 37067 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 226.68
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.87 1.87 1.82 3/215 7464
/proc/meminfo: memFree=31606100/32770624 swapFree=0/181896
[pid=7356] ppid=7353 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7356/stat : 7356 (xcsp3-exec) S 7353 7356 5228 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 9224070 9740288 345 18446744073709551615 4194304 5098028 140733322520480 140733322518584 140442789257852 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 22675456 140733322523036 140733322523239 140733322523239 140733322526699 0
/proc/7356/statm: 2378 345 289 221 0 87 0
[pid=7358] ppid=7356 vsize=13980732 CPUtime=244.38 cores=1,3,5,7
/proc/7358/stat : 7358 (java) S 7356 7356 5228 0 -1 1077944320 56366 0 0 0 24423 15 0 0 20 0 15 0 9224076 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 140731638947264 139811555528439 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
/proc/7358/statm: 3495183 36425 3224 1 0 3483484 0
[pid=7358/tid=7359] ppid=7356 vsize=13980732 CPUtime=239.77 cores=1,3,5,7
/proc/7358/task/7359/stat : 7359 (java) R 7356 7356 5228 0 -1 4202560 15037 0 0 0 23973 4 0 0 20 0 15 0 9224077 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811559767872 139811200861812 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7360] ppid=7356 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7358/task/7360/stat : 7360 (java) S 7356 7356 5228 0 -1 1077944384 1223 0 0 0 3 1 0 0 20 0 15 0 9224077 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811155610000 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7361] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7361/stat : 7361 (java) S 7356 7356 5228 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 15 0 9224077 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811154557200 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7362] ppid=7356 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7358/task/7362/stat : 7362 (java) S 7356 7356 5228 0 -1 1077944384 917 0 0 0 3 1 0 0 20 0 15 0 9224077 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811153504912 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7363] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7363/stat : 7363 (java) S 7356 7356 5228 0 -1 1077944384 1316 0 0 0 3 0 0 0 20 0 15 0 9224077 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811152452112 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7364] ppid=7356 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7358/task/7364/stat : 7364 (java) S 7356 7356 5228 0 -1 1077944384 1446 0 0 0 3 0 0 0 20 0 15 0 9224079 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811034151536 139811555539586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7365] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7365/stat : 7365 (java) S 7356 7356 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811033097504 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7366] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7366/stat : 7366 (java) S 7356 7356 5228 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9224079 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811032045168 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7367] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7367/stat : 7367 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811030993488 139811555547035 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7368] ppid=7356 vsize=13980732 CPUtime=1.8 cores=1,3,5,7
/proc/7358/task/7368/stat : 7368 (java) S 7356 7356 5228 0 -1 1077944384 13330 0 0 0 179 1 0 0 20 0 15 0 9224082 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811029940336 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7369] ppid=7356 vsize=13980732 CPUtime=2.03 cores=1,3,5,7
/proc/7358/task/7369/stat : 7369 (java) S 7356 7356 5228 0 -1 1077944384 15035 0 0 0 201 2 0 0 20 0 15 0 9224082 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811028887536 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7370] ppid=7356 vsize=13980732 CPUtime=0.47 cores=1,3,5,7
/proc/7358/task/7370/stat : 7370 (java) S 7356 7356 5228 0 -1 1077944384 5865 0 0 0 47 0 0 0 20 0 15 0 9224082 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811027835248 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7371] ppid=7356 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7358/task/7371/stat : 7371 (java) S 7356 7356 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9224082 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811026782688 139811555538645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
[pid=7358/tid=7372] ppid=7356 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/7358/task/7372/stat : 7372 (java) S 7356 7356 5228 0 -1 1077944384 590 0 0 0 2 2 0 0 20 0 15 0 9224086 14316269568 36425 18446744073709551615 4194304 4196468 140731638964720 139811025730480 139811555539586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14757888 140731638968788 140731638968963 140731638968963 140731638972367 0
Current children cumulated CPU time (s) 244.38
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 7358 sig 9
??? kill 7356 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 7356 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1903
# CPU time returned by wait4() is 0.001903
# while last known CPU time is 244.38
#
# 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): 244.38
CPU user time (s): 244.23
CPU system time (s): 0.15
CPU usage (%): 101.821
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001903
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
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.973455 second user time and 1.42853 second system time
The end