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 (15177 MiB free)
  memory of node 1: 16384 MiB (14921 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272745-1502786507/watcher-4272745-1502786507 -o /tmp/evaluation-result-4272745-1502786507/solver-4272745-1502786507 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1729942828 HOME/instance-4272745-1502786507.xml 

running on 4 cores: 0,2,4,6

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28934, runsolver pid=28931
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 1.49 1.71 1.87 3/204 28941
/proc/meminfo: memFree=30816264/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13358712 memory=14896 CPUtime=0 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 3500 0 0 0 0 0 0 0 20 0 6 0 32533270 13679321088 3724 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3339678 3724 1905 1 0 3329175 0
[pid=28936/tid=28937] ppid=28934 vsize=13358712 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 2285 0 0 0 1 0 0 0 20 0 6 0 32533270 13679321088 3724 18446744073709551615 4194304 4196468 140732757000112 139767649858128 139767630744944 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13358712 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 32533271 13679321088 3724 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13358712 memory=140599285704320 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 32533271 13679321088 3724 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 32533271 13679321088 3724 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 32533271 13679321088 3724 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 16272 KiB

[startup+0.209929 s]*
/proc/loadavg: 1.49 1.71 1.87 4/213 28950
/proc/meminfo: memFree=30805512/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13974352 memory=27148 CPUtime=0.09 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 5195 0 0 0 8 1 0 0 20 0 15 0 32533270 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3493588 6787 2728 1 0 3482964 0
[pid=28936/tid=28937] ppid=28934 vsize=13974352 memory=7078076838863583841 CPUtime=0.07 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 3335 0 0 0 7 0 0 0 20 0 15 0 32533270 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767649845648 139767625844786 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13974352 memory=140599285704320 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13974352 memory=140599285704320 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533272 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 32533272 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 32533273 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) S 28934 28934 7968 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767119809392 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) S 28934 28934 7968 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767118756592 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13974352 memory=140599285704320 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) S 28934 28934 7968 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13974352 memory=140599285704320 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533279 14309736448 6787 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28524 KiB

[startup+0.311438 s]*
/proc/loadavg: 1.49 1.71 1.87 4/213 28950
/proc/meminfo: memFree=30793160/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13974352 memory=37100 CPUtime=0.29 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 8904 0 0 0 26 3 0 0 20 0 15 0 32533270 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3493588 9275 2967 1 0 3482964 0
[pid=28936/tid=28937] ppid=28934 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 6142 0 0 0 16 2 0 0 20 0 15 0 32533270 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767649853952 139767631690126 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13974352 memory=140599285711313 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13974352 memory=7163650665303533674 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533271 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 32533272 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 32533272 14309736448 9275 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 32533273 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) R 28934 28934 7968 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 32533275 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767119809688 139767631637120 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) S 28934 28934 7968 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 15 0 32533275 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767118756592 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) R 28934 28934 7968 0 -1 4202560 737 0 0 0 6 0 0 0 20 0 15 0 32533275 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633942 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533279 14309736448 9787 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38476 KiB

[startup+0.700764 s]
/proc/loadavg: 1.49 1.71 1.87 5/213 28950
/proc/meminfo: memFree=30774144/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13978684 memory=83180 CPUtime=1.38 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 13441 0 0 0 133 5 0 0 20 0 15 0 32533270 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3494671 20795 3150 1 0 3482964 0
[pid=28936/tid=28937] ppid=28934 vsize=13978684 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 7905 0 0 0 52 3 0 0 20 0 15 0 32533270 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767649856160 139767248440649 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533271 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533271 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533271 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 32533271 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 32533272 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13978684 memory=4211821575541792384 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 32533272 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 32533273 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13978684 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13978684 memory=2241 CPUtime=0.27 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) R 28934 28934 7968 0 -1 4202560 1171 0 0 0 27 0 0 0 20 0 15 0 32533275 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767119795664 139767629008741 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13978684 memory=2244 CPUtime=0.24 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) R 28934 28934 7968 0 -1 4202560 1393 0 0 0 24 0 0 0 20 0 15 0 32533275 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767118748096 139767623369393 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13978684 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) S 28934 28934 7968 0 -1 1077944384 1664 0 0 0 28 0 0 0 20 0 15 0 32533275 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 32533279 14314172416 20795 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 84556 KiB

[startup+1.50306 s]
/proc/loadavg: 1.49 1.71 1.87 6/213 28950
/proc/meminfo: memFree=30659140/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13980732 memory=205144 CPUtime=3.96 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 16480 0 0 0 387 9 0 0 20 0 15 0 32533270 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3495183 51286 3211 1 0 3483476 0
[pid=28936/tid=28937] ppid=28934 vsize=13980732 memory=4124 CPUtime=1.34 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) S 28934 28934 7968 0 -1 1077944384 8179 0 0 0 129 5 0 0 20 0 15 0 32533270 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767649859136 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13980732 memory=19888 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) R 28934 28934 7968 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 32533271 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767638728553 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13980732 memory=202776 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) R 28934 28934 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 32533271 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13980732 memory=2388 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) R 28934 28934 7968 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 15 0 32533271 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767638728538 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13980732 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) R 28934 28934 7968 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 15 0 32533271 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767638727694 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767124018080 139767645632213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 51286 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13980732 memory=245528 CPUtime=8.47 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 22043 0 0 0 834 13 0 0 20 0 15 0 32533270 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3495183 61382 3242 1 0 3483476 0
[pid=28936/tid=28937] ppid=28934 vsize=13980732 memory=-8774313645642428999 CPUtime=2.93 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 8543 0 0 0 287 6 0 0 20 0 15 0 32533270 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767649858984 139767251873561 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13980732 memory=19888 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 15 0 32533271 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13980732 memory=2424 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 15 0 32533271 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13980732 memory=1296 CPUtime=0.03 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 15 0 32533271 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13980732 memory=1732 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 32533271 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13980732 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 32533273 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13980732 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13980732 memory=5520 CPUtime=2.22 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) R 28934 28934 7968 0 -1 4202560 3352 0 0 0 221 1 0 0 20 0 15 0 32533275 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767119802584 139767626324985 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13980732 memory=4612 CPUtime=2.43 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) R 28934 28934 7968 0 -1 4202560 5677 0 0 0 242 1 0 0 20 0 15 0 32533275 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767118748432 139767629532682 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13980732 memory=792 CPUtime=0.73 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) S 28934 28934 7968 0 -1 1077944384 2781 0 0 0 73 0 0 0 20 0 15 0 32533275 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13980732 memory=8700 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533279 14316269568 61382 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 8.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 246904 KiB

[startup+4.00075 s]*
/proc/loadavg: 1.37 1.68 1.86 5/213 28950
/proc/meminfo: memFree=30528896/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13980732 memory=305436 CPUtime=10.4 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 30139 0 0 0 1025 15 0 0 20 0 15 0 32533270 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3495183 76359 3244 1 0 3483476 0
[pid=28936/tid=28937] ppid=28934 vsize=13980732 memory=4278483708103473607 CPUtime=3.74 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 9899 0 0 0 367 7 0 0 20 0 15 0 32533270 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767649858416 139767252052676 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13980732 memory=-7003737579269690708 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 15 0 32533271 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13980732 memory=6943526294502006880 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 15 0 32533271 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13980732 memory=6655300316396806240 CPUtime=0.03 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 15 0 32533271 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13980732 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 32533271 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 32533273 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13980732 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) R 28934 28934 7968 0 -1 4202560 5884 0 0 0 275 1 0 0 20 0 15 0 32533275 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767119800848 139767630737261 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13980732 memory=-1 CPUtime=2.95 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) R 28934 28934 7968 0 -1 4202560 9606 0 0 0 294 1 0 0 20 0 15 0 32533275 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767118747920 139767629108025 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13980732 memory=3472323898181169199 CPUtime=0.77 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) R 28934 28934 7968 0 -1 1077944384 3009 0 0 0 77 0 0 0 20 0 15 0 32533275 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633154 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13980732 memory=3472468895513384620 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13980732 memory=3472328296227680299 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 32533279 14316269568 76359 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 10.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 306812 KiB

[startup+4.40158 s]
/proc/loadavg: 1.37 1.68 1.86 5/213 28950
/proc/meminfo: memFree=30528896/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13980732 memory=342992 CPUtime=11.41 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 30543 0 0 0 1125 16 0 0 20 0 15 0 32533270 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3495183 85748 3244 1 0 3483476 0
[pid=28936/tid=28937] ppid=28934 vsize=13980732 memory=6154560774009283688 CPUtime=4.13 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 9941 0 0 0 405 8 0 0 20 0 15 0 32533270 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767649858592 139767252872722 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13980732 memory=6154560774009283688 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 67 0 0 0 1 1 0 0 20 0 15 0 32533271 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13980732 memory=7668328774891825515 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 57 0 0 0 2 0 0 0 20 0 15 0 32533271 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13980732 memory=7596279977099356224 CPUtime=0.03 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 102 0 0 0 2 1 0 0 20 0 15 0 32533271 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13980732 memory=2 CPUtime=0.02 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 32533271 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 32533273 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13980732 memory=259 CPUtime=3.02 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) S 28934 28934 7968 0 -1 1077944384 5918 0 0 0 301 1 0 0 20 0 15 0 32533275 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767119809392 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13980732 memory=275 CPUtime=3.29 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) R 28934 28934 7968 0 -1 4202560 9794 0 0 0 328 1 0 0 20 0 15 0 32533275 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767118743136 139767624793028 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13980732 memory=77 CPUtime=0.79 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) S 28934 28934 7968 0 -1 1077944384 3047 0 0 0 79 0 0 0 20 0 15 0 32533275 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 32533279 14316269568 85748 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 344368 KiB

[startup+4.80073 s]
/proc/loadavg: 1.37 1.68 1.86 5/213 28950
/proc/meminfo: memFree=30528896/32770624 swapFree=67108860/67108860
[pid=28934] ppid=28931 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28934/stat : 28934 (xcsp3-exec) S 28931 28934 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 32533261 9740288 344 18446744073709551615 4194304 5098028 140734973156800 140734973154904 139808971723388 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 11460608 140734973157753 140734973157958 140734973157958 140734973161451 0
/proc/28934/statm: 2378 344 289 221 0 87 0
[pid=28936] ppid=28934 vsize=13980732 memory=390620 CPUtime=12.33 cores=0,2,4,6
/proc/28936/stat : 28936 (java) S 28934 28934 7968 0 -1 1077944320 34499 0 0 0 1212 21 0 0 20 0 15 0 32533270 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 140732756982656 139767645622007 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
/proc/28936/statm: 3495183 97655 3246 1 0 3483476 0
[pid=28936/tid=28937] ppid=28934 vsize=13980732 memory=2424 CPUtime=4.48 cores=0,2,4,6
/proc/28936/task/28937/stat : 28937 (java) R 28934 28934 7968 0 -1 4202560 9990 0 0 0 440 8 0 0 20 0 15 0 32533270 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767649858256 139767252481621 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28938] ppid=28934 vsize=13980732 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/28936/task/28938/stat : 28938 (java) S 28934 28934 7968 0 -1 1077944384 913 0 0 0 5 2 0 0 20 0 15 0 32533271 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767565036688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28939] ppid=28934 vsize=13980732 memory=1732 CPUtime=0.04 cores=0,2,4,6
/proc/28936/task/28939/stat : 28939 (java) S 28934 28934 7968 0 -1 1077944384 181 0 0 0 3 1 0 0 20 0 15 0 32533271 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767245171728 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28940] ppid=28934 vsize=13980732 memory=1700 CPUtime=0.05 cores=0,2,4,6
/proc/28936/task/28940/stat : 28940 (java) S 28934 28934 7968 0 -1 1077944384 155 0 0 0 4 1 0 0 20 0 15 0 32533271 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767244118928 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28941] ppid=28934 vsize=13980732 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/28936/task/28941/stat : 28941 (java) S 28934 28934 7968 0 -1 1077944384 274 0 0 0 6 2 0 0 20 0 15 0 32533271 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767243066128 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28942] ppid=28934 vsize=13980732 memory=231060 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28942/stat : 28942 (java) S 28934 28934 7968 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767124019568 139767645633154 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28943] ppid=28934 vsize=13980732 memory=128624808167924 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28943/stat : 28943 (java) S 28934 28934 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 32533272 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767122965536 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28944] ppid=28934 vsize=13980732 memory=128624808167924 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28944/stat : 28944 (java) S 28934 28934 7968 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 32533273 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767121912688 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28945] ppid=28934 vsize=13980732 memory=128624808167668 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28945/stat : 28945 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767120861008 139767645640603 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28946] ppid=28934 vsize=13980732 memory=0 CPUtime=3.11 cores=0,2,4,6
/proc/28936/task/28946/stat : 28946 (java) S 28934 28934 7968 0 -1 1077944384 6150 0 0 0 310 1 0 0 20 0 15 0 32533275 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767119809392 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28947] ppid=28934 vsize=13980732 memory=0 CPUtime=3.6 cores=0,2,4,6
/proc/28936/task/28947/stat : 28947 (java) S 28934 28934 7968 0 -1 1077944384 11240 0 0 0 358 2 0 0 20 0 15 0 32533275 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767118756592 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28948] ppid=28934 vsize=13980732 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/28936/task/28948/stat : 28948 (java) S 28934 28934 7968 0 -1 1077944384 3777 0 0 0 81 0 0 0 20 0 15 0 32533275 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767117703792 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28949] ppid=28934 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28949/stat : 28949 (java) S 28934 28934 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 32533275 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767116651232 139767645632213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
[pid=28936/tid=28950] ppid=28934 vsize=13980732 memory=281198354691840 CPUtime=0 cores=0,2,4,6
/proc/28936/task/28950/stat : 28950 (java) S 28934 28934 7968 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 32533279 14316269568 97655 18446744073709551615 4194304 4196468 140732757000112 139767115598512 139767645633154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 29806592 140732757004722 140732757004898 140732757004898 140732757008335 0
Current children cumulated CPU time: 12.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 391996 KiB

Child status: 0
Real time (s): 4.84832
CPU time (s): 12.4215
CPU user time (s): 12.2029
CPU system time (s): 0.218646
CPU usage (%): 256.203
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 391996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2029
system time used= 0.218646
maximum resident set size= 393752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2668
involuntary context switches= 40


# summary of solver processes directly reported to runsolver:
#   pid: 28934
#   total CPU time (s): 12.4215
#   total CPU user time (s): 12.2029
#   total CPU system time (s): 0.218646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068548 second user time and 0.072086 second system time

The end