runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10434 MiB free)
  memory of node 1: 16384 MiB (15742 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281784-1503142171/watcher-4281784-1503142171 -o /tmp/evaluation-result-4281784-1503142171/solver-4281784-1503142171 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16490 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2002371301 HOME/instance-4281784-1503142171.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=24855, runsolver pid=24852
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 1.41 1.46 1.49 2/196 24856
/proc/meminfo: memFree=26804988/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.216024 s]*
/proc/loadavg: 1.41 1.46 1.49 3/211 24871
/proc/meminfo: memFree=26792640/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13974352 memory=27892 CPUtime=0.08 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 4882 0 0 0 7 1 0 0 20 0 15 0 12626883 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3493588 6973 2729 1 0 3482964 0
[pid=24857/tid=24858] ppid=24855 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 3025 0 0 0 6 0 0 0 20 0 15 0 12626883 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140115415189264 140115403634037 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13974352 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13974352 memory=4122960557047830176 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12626885 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12626886 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114887414944 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12626886 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114886361840 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) S 24855 24855 16431 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626893 14309736448 6973 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29272 KiB

[startup+0.310158 s]*
/proc/loadavg: 1.41 1.46 1.49 3/211 24871
/proc/meminfo: memFree=26777376/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13974352 memory=37552 CPUtime=0.25 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 8449 0 0 0 23 2 0 0 20 0 15 0 12626883 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3493588 9388 2981 1 0 3482964 0
[pid=24857/tid=24858] ppid=24855 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 5678 0 0 0 14 1 0 0 20 0 15 0 12626883 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140115415169472 140115410977949 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12626884 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12626885 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12626886 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114887414944 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12626886 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114886361840 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) R 24855 24855 16431 0 -1 4202560 493 0 0 0 1 0 0 0 20 0 15 0 12626888 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115391656320 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 15 0 12626888 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0.05 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) R 24855 24855 16431 0 -1 4202560 704 0 0 0 5 0 0 0 20 0 15 0 12626888 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410977370 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13974352 memory=140286781314688 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626893 14309736448 9388 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38932 KiB

[startup+0.701666 s]
/proc/loadavg: 1.41 1.46 1.49 4/211 24871
/proc/meminfo: memFree=26766152/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13980732 memory=76800 CPUtime=1.27 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 12907 0 0 0 123 4 0 0 20 0 15 0 12626883 14316269568 19200 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3495183 19200 3169 1 0 3483476 0
[pid=24857/tid=24858] ppid=24855 vsize=13981756 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 7535 0 0 0 50 3 0 0 20 0 15 0 12626883 14317318144 19200 18446744073709551615 4194304 4196468 140721102919312 140115415174384 140115403635741 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13981756 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14317318144 19265 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13981756 memory=7093267614640002417 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14317318144 19265 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13981756 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14317318144 19265 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13980732 memory=6935656952459513936 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12626884 14316269568 19245 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13980732 memory=8514726395714824858 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12626885 14316269568 19245 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13981756 memory=-7668917182949848256 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12626886 14317318144 19245 18446744073709551615 4194304 4196468 140721102919312 140114887414944 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13981756 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12626886 14317318144 19245 18446744073709551615 4194304 4196468 140721102919312 140114886361840 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13981756 memory=-7384994774051102368 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14317318144 19245 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13980732 memory=7077805514658193553 CPUtime=0.23 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) R 24855 24855 16431 0 -1 4202560 1794 0 0 0 23 0 0 0 20 0 15 0 12626888 14316269568 19245 18446744073709551615 4194304 4196468 140721102919312 140114884244768 140115392130948 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13981756 memory=51872 CPUtime=0.21 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) R 24855 24855 16431 0 -1 4202560 890 0 0 0 21 0 0 0 20 0 15 0 12626888 14317318144 19245 18446744073709551615 4194304 4196468 140721102919312 140114883191872 140115397107705 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13981756 memory=-8774313645642428999 CPUtime=0.27 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 1390 0 0 0 27 0 0 0 20 0 15 0 12626888 14317318144 19245 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13981756 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14317318144 19245 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626893 14316269568 19245 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 78180 KiB

[startup+1.50081 s]
/proc/loadavg: 1.41 1.46 1.49 5/211 24871
/proc/meminfo: memFree=26719504/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13980732 memory=119244 CPUtime=2.9 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 18321 0 0 0 284 6 0 0 20 0 15 0 12626883 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3495183 29811 3180 1 0 3483476 0
[pid=24857/tid=24858] ppid=24855 vsize=13980732 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 8360 0 0 0 129 3 0 0 20 0 15 0 12626883 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140115415194504 140115007562318 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13980732 memory=3472468582070495601 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13980732 memory=7162362371468702290 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13980732 memory=4207739800297683763 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12626884 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13980732 memory=3472468582070502420 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12626884 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12626885 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13980732 memory=7161675929820226662 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114887414944 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114886361840 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13980732 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13980732 memory=3047711553320166262 CPUtime=0.6 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) S 24855 24855 16431 0 -1 1077944384 3764 0 0 0 60 0 0 0 20 0 15 0 12626888 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13980732 memory=8226496019563506588 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 2590 0 0 0 56 0 0 0 20 0 15 0 12626888 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13980732 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 2296 0 0 0 37 0 0 0 20 0 15 0 12626888 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12626893 14316269568 29811 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0

################
# More data... #
################

/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114886361856 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13980732 memory=178156 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13980732 memory=1380 CPUtime=1.67 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) S 24855 24855 16431 0 -1 1077944384 11932 0 0 0 166 1 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13980732 memory=178156 CPUtime=1.32 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 8527 0 0 0 131 1 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.53 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 9589 0 0 0 51 2 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13980732 memory=178156 CPUtime=0.49 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1157 0 0 0 21 28 0 0 20 0 15 0 12626893 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 2447.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 179536 KiB

[startup+2502.3 s]
/proc/loadavg: 1.95 1.78 1.66 3/211 25115
/proc/meminfo: memFree=31478748/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13980732 memory=178156 CPUtime=2507.65 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 74955 0 0 0 250711 54 0 0 20 0 15 0 12626883 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3495183 44539 3234 1 0 3483476 0
[pid=24857/tid=24858] ppid=24855 vsize=13980732 memory=178156 CPUtime=2500.85 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 22238 0 0 0 250078 7 0 0 20 0 15 0 12626883 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140115415195616 140115007423596 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13980732 memory=178156 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 3917 0 0 0 51 5 0 0 20 0 15 0 12626884 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13980732 memory=178156 CPUtime=0.55 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 3510 0 0 0 50 5 0 0 20 0 15 0 12626884 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 4171 0 0 0 50 6 0 0 20 0 15 0 12626884 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 3169 0 0 0 52 4 0 0 20 0 15 0 12626884 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13980732 memory=178156 CPUtime=0.46 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 5361 0 0 0 42 4 0 0 20 0 15 0 12626885 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114887415008 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13980732 memory=178156 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114886361856 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13980732 memory=1380 CPUtime=1.67 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) S 24855 24855 16431 0 -1 1077944384 11932 0 0 0 166 1 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13980732 memory=1380 CPUtime=1.32 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 8527 0 0 0 131 1 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13980732 memory=3212 CPUtime=0.53 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 9589 0 0 0 51 2 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13980732 memory=4004 CPUtime=0.5 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1161 0 0 0 21 29 0 0 20 0 15 0 12626893 14316269568 44539 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 2507.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 179536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.7 s]
/proc/loadavg: 1.89 1.77 1.66 3/211 25116
/proc/meminfo: memFree=31476824/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13980732 memory=180204 CPUtime=2520.06 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 75082 0 0 0 251951 55 0 0 20 0 15 0 12626883 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3495183 45051 3234 1 0 3483476 0
[pid=24857/tid=24858] ppid=24855 vsize=13980732 memory=180204 CPUtime=2513.24 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 22315 0 0 0 251317 7 0 0 20 0 15 0 12626883 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115415195152 140115008993743 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 3928 0 0 0 51 5 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.55 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 3520 0 0 0 50 5 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 4187 0 0 0 50 6 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 3180 0 0 0 52 4 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.47 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 5363 0 0 0 43 4 0 0 20 0 15 0 12626885 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13980732 memory=180204 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114887415008 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13980732 memory=180204 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114886361856 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13980732 memory=2257 CPUtime=1.67 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) S 24855 24855 16431 0 -1 1077944384 11932 0 0 0 166 1 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13980732 memory=1008 CPUtime=1.32 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 8527 0 0 0 131 1 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13980732 memory=792 CPUtime=0.53 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 9589 0 0 0 51 2 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.51 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1161 0 0 0 22 29 0 0 20 0 15 0 12626893 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 181584 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2514.71 s]
# the end of solver process 24855 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001852 s, system=0 s

[startup+2514.71 s]
# the end of solver process 24857 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.53 s, system=0.552149 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2514.7 s]
/proc/loadavg: 1.89 1.77 1.66 3/211 25116
/proc/meminfo: memFree=31476824/32770624 swapFree=67108860/67108860
[pid=24855] ppid=24852 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24855/stat : 24855 (xcsp3-exec) S 24852 24855 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12626872 9740288 345 18446744073709551615 4194304 5098028 140737231634560 140737231632664 140425697944188 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 10092544 140737231638905 140737231639110 140737231639110 140737231642603 0
/proc/24855/statm: 2378 345 289 221 0 87 0
[pid=24857] ppid=24855 vsize=13980732 memory=180204 CPUtime=2520.06 cores=1,3,5,7
/proc/24857/stat : 24857 (java) S 24855 24855 16431 0 -1 1077944320 75082 0 0 0 251951 55 0 0 20 0 15 0 12626883 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140721102901856 140115410956023 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
/proc/24857/statm: 3495183 45051 3234 1 0 3483476 0
[pid=24857/tid=24858] ppid=24855 vsize=13980732 memory=180204 CPUtime=2513.24 cores=1,3,5,7
/proc/24857/task/24858/stat : 24858 (java) R 24855 24855 16431 0 -1 4202560 22315 0 0 0 251317 7 0 0 20 0 15 0 12626883 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115415195152 140115008993743 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24859] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24859/stat : 24859 (java) S 24855 24855 16431 0 -1 1077944384 3928 0 0 0 51 5 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115330370576 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24860] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.55 cores=1,3,5,7
/proc/24857/task/24860/stat : 24860 (java) S 24855 24855 16431 0 -1 1077944384 3520 0 0 0 50 5 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115329318032 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24861] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24861/stat : 24861 (java) S 24855 24855 16431 0 -1 1077944384 4187 0 0 0 50 6 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115328264976 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24862] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.56 cores=1,3,5,7
/proc/24857/task/24862/stat : 24862 (java) S 24855 24855 16431 0 -1 1077944384 3180 0 0 0 52 4 0 0 20 0 15 0 12626884 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140115327212432 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24863] ppid=24855 vsize=13980732 memory=180204 CPUtime=0.47 cores=1,3,5,7
/proc/24857/task/24863/stat : 24863 (java) S 24855 24855 16431 0 -1 1077944384 5363 0 0 0 43 4 0 0 20 0 15 0 12626885 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114888468720 140115410967170 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24864] ppid=24855 vsize=13980732 memory=180204 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24864/stat : 24864 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114887415008 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24865] ppid=24855 vsize=13980732 memory=180204 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24865/stat : 24865 (java) S 24855 24855 16431 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 12626886 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114886361856 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24866] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24866/stat : 24866 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114885310416 140115410974619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24867] ppid=24855 vsize=13980732 memory=2257 CPUtime=1.67 cores=1,3,5,7
/proc/24857/task/24867/stat : 24867 (java) S 24855 24855 16431 0 -1 1077944384 11932 0 0 0 166 1 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114884258544 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24868] ppid=24855 vsize=13980732 memory=1008 CPUtime=1.32 cores=1,3,5,7
/proc/24857/task/24868/stat : 24868 (java) S 24855 24855 16431 0 -1 1077944384 8527 0 0 0 131 1 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114883206000 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24869] ppid=24855 vsize=13980732 memory=792 CPUtime=0.53 cores=1,3,5,7
/proc/24857/task/24869/stat : 24869 (java) S 24855 24855 16431 0 -1 1077944384 9589 0 0 0 51 2 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114882152944 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24870] ppid=24855 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/24857/task/24870/stat : 24870 (java) S 24855 24855 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12626888 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114881100640 140115410966229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
[pid=24857/tid=24871] ppid=24855 vsize=13980732 memory=1380 CPUtime=0.51 cores=1,3,5,7
/proc/24857/task/24871/stat : 24871 (java) S 24855 24855 16431 0 -1 1077944384 1161 0 0 0 22 29 0 0 20 0 15 0 12626893 14316269568 45051 18446744073709551615 4194304 4196468 140721102919312 140114880047664 140115410967170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 30367744 140721102926258 140721102926434 140721102926434 140721102929871 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 181584 KiB

Child status: 143
Real time (s): 2514.71
CPU time (s): 2520.09
CPU user time (s): 2519.53
CPU system time (s): 0.552149
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 218688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.53
system time used= 0.552149
maximum resident set size= 217308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68257
involuntary context switches= 1440


# summary of solver processes directly reported to runsolver:
#   pid: 24855,24857
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.53
#   total CPU system time (s): 0.552149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2411 second user time and 22.2164 second system time

The end