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 (12689 MiB free)
memory of node 1: 16384 MiB (11368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283126-1503215922/watcher-4283126-1503215922 -o /tmp/evaluation-result-4283126-1503215922/solver-4283126-1503215922 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17466 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2142829436 HOME/instance-4283126-1503215922.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22681, runsolver pid=22678
[startup+0.1019 s]*
/proc/loadavg: 1.90 1.98 1.98 3/218 22697
/proc/meminfo: memFree=24618344/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13978596 memory=27560 CPUtime=0.11 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 5321 0 0 0 10 1 0 0 20 0 15 0 154673055 14314082304 6890 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3494649 6890 2839 1 0 3482966 0
[pid=22683/tid=22684] ppid=22681 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) R 22681 22681 17435 0 -1 4202560 3330 0 0 0 8 0 0 0 20 0 15 0 154673055 14314082304 6890 33554432000 4194304 4196468 140735901587248 140686614611760 140686610390422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14314082304 6890 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13978596 memory=140621262497408 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14314082304 6890 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14314082304 6890 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14314082304 6890 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13978596 memory=140621262497408 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673057 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154673058 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685790299040 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154673058 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685789246448 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) S 22681 22681 17435 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 154673061 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685787142640 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) S 22681 22681 17435 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154673061 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13978596 memory=140621262497408 CPUtime=0.01 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) S 22681 22681 17435 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 154673061 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685785037552 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13978596 memory=140621262497408 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154673061 14314082304 6890 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28944 KiB
[startup+0.210654 s]*
/proc/loadavg: 1.90 1.98 1.98 5/218 22697
/proc/meminfo: memFree=24607016/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13982852 memory=40492 CPUtime=0.33 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 8163 0 0 0 31 2 0 0 20 0 15 0 154673055 14318440448 10123 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3495713 10123 3055 1 0 3482966 0
[pid=22683/tid=22684] ppid=22681 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) R 22681 22681 17435 0 -1 4202560 5229 0 0 0 18 1 0 0 20 0 15 0 154673055 14318440448 10123 33554432000 4194304 4196468 140735901587248 140686614592464 140686594458974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13982852 memory=13650 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 10123 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13982852 memory=140621263280032 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 10123 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 10123 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 10123 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13982852 memory=140621262497408 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673057 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154673058 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685790299040 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154673058 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685789246448 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) S 22681 22681 17435 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 15 0 154673061 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685787142640 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) S 22681 22681 17435 0 -1 1077944384 435 0 0 0 2 0 0 0 20 0 15 0 154673061 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13982852 memory=140621262497408 CPUtime=0.07 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) R 22681 22681 17435 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 15 0 154673061 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685785037552 140686610399834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154673061 14318440448 10123 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41876 KiB
[startup+0.310509 s]*
/proc/loadavg: 1.90 1.98 1.98 4/218 22697
/proc/meminfo: memFree=24600812/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13982852 memory=47432 CPUtime=0.5 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 9017 0 0 0 47 3 0 0 20 0 15 0 154673055 14318440448 11858 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3495713 11858 3090 1 0 3482966 0
[pid=22683/tid=22684] ppid=22681 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) R 22681 22681 17435 0 -1 4202560 5899 0 0 0 28 1 0 0 20 0 15 0 154673055 14318440448 11858 33554432000 4194304 4196468 140735901587248 140686614617824 140686610390422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 11858 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 11858 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 11858 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318440448 11858 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673057 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154673058 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685790299040 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154673058 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685789246448 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) R 22681 22681 17435 0 -1 4202560 451 0 0 0 3 0 0 0 20 0 15 0 154673061 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685787142640 140686603363529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) R 22681 22681 17435 0 -1 1077944384 499 0 0 0 3 0 0 0 20 0 15 0 154673061 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) R 22681 22681 17435 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 15 0 154673061 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685785037552 140686594458974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154673061 14318440448 11858 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48816 KiB
[startup+0.704903 s]
/proc/loadavg: 1.90 1.98 1.98 6/218 22697
/proc/meminfo: memFree=24574020/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13982928 memory=130504 CPUtime=1.76 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 12391 0 0 0 171 5 0 0 20 0 15 0 154673055 14318518272 32626 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3495732 32626 3196 1 0 3482966 0
[pid=22683/tid=22684] ppid=22681 vsize=13982928 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) S 22681 22681 17435 0 -1 1077944384 6264 0 0 0 64 3 0 0 20 0 15 0 154673055 14318518272 32626 33554432000 4194304 4196468 140735901587248 140686614615184 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13982928 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318518272 32626 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13982928 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318518272 32626 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13982928 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318518272 32626 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13982928 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154673056 14318518272 32626 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13982928 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154673057 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13982928 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154673058 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685790299040 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13982928 memory=8624 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154673058 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685789246448 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13982928 memory=792 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13982928 memory=1204 CPUtime=0.38 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) R 22681 22681 17435 0 -1 4202560 1532 0 0 0 38 0 0 0 20 0 15 0 154673061 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685787133920 140686589625158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13982928 memory=1728 CPUtime=0.38 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) R 22681 22681 17435 0 -1 4202560 1768 0 0 0 38 0 0 0 20 0 15 0 154673061 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685786070992 140686591125424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13982928 memory=1440 CPUtime=0.29 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) R 22681 22681 17435 0 -1 4202560 1517 0 0 0 29 0 0 0 20 0 15 0 154673061 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685785034488 140686603475323 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13982928 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13982928 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154673061 14318518272 32626 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 131888 KiB
[startup+1.50082 s]
/proc/loadavg: 1.90 1.98 1.98 5/218 22697
/proc/meminfo: memFree=24466724/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685789246464 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13984976 memory=1662540 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13984976 memory=1228 CPUtime=2.63 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) S 22681 22681 17435 0 -1 1077944384 13359 0 0 0 261 2 0 0 20 0 15 0 154673061 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685787142640 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13984976 memory=1952 CPUtime=2.11 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) S 22681 22681 17435 0 -1 1077944384 9640 0 0 0 209 2 0 0 20 0 15 0 154673061 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13984976 memory=5796 CPUtime=0.69 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) S 22681 22681 17435 0 -1 1077944384 4643 0 0 0 69 0 0 0 20 0 15 0 154673061 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685785037552 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13984976 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 627 0 0 0 2 3 0 0 20 0 15 0 154673061 14320615424 415644 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 108.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1663960 KiB
[startup+162.301 s]
/proc/loadavg: 1.97 1.97 1.97 3/217 22699
/proc/meminfo: memFree=20942264/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13984976 memory=3868552 CPUtime=169.1 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 57205 0 0 0 16811 99 0 0 20 0 15 0 154673055 14320615424 967138 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3496244 967138 3267 1 0 3483478 0
[pid=22683/tid=22684] ppid=22681 vsize=13984976 memory=1384 CPUtime=161.97 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) R 22681 22681 17435 0 -1 4202560 19096 0 0 0 16142 55 0 0 20 0 15 0 154673055 14320615424 967138 33554432000 4194304 4196468 140735901587248 140686614617584 140686242219811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13984976 memory=3231556 CPUtime=0.24 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 1648 0 0 0 16 8 0 0 20 0 15 0 154673056 14320615424 967138 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13984976 memory=3231556 CPUtime=0.24 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 1175 0 0 0 16 8 0 0 20 0 15 0 154673056 14320615424 967138 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13984976 memory=3231556 CPUtime=0.23 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 1766 0 0 0 15 8 0 0 20 0 15 0 154673056 14320615424 967138 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13984976 memory=3231556 CPUtime=0.24 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 769 0 0 0 16 8 0 0 20 0 15 0 154673056 14320615424 967138 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 2807 0 0 0 2 0 0 0 20 0 15 0 154673057 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13984976 memory=3231556 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685790299104 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13984976 memory=3868516 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685789246464 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13984976 memory=1384 CPUtime=2.88 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) S 22681 22681 17435 0 -1 1077944384 13498 0 0 0 286 2 0 0 20 0 15 0 154673061 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685787142640 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13984976 memory=1384 CPUtime=2.37 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) S 22681 22681 17435 0 -1 1077944384 9714 0 0 0 235 2 0 0 20 0 15 0 154673061 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13984976 memory=3327816 CPUtime=0.72 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) S 22681 22681 17435 0 -1 1077944384 4731 0 0 0 72 0 0 0 20 0 15 0 154673061 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685785037552 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 633 0 0 0 4 4 0 0 20 0 15 0 154673061 14320615424 967138 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 169.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3869936 KiB
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.97 2/195 22748
/proc/meminfo: memFree=20958740/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13984976 memory=3922012 CPUtime=229.46 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 62227 0 0 0 22837 109 0 0 20 0 15 0 154673055 14320615424 980503 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3496244 980503 3267 1 0 3483478 0
[pid=22683/tid=22684] ppid=22681 vsize=13984976 memory=3922012 CPUtime=221.95 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) R 22681 22681 17435 0 -1 4202560 21018 0 0 0 22139 56 0 0 20 0 15 0 154673055 14320615424 980503 33554432000 4194304 4196468 140735901587248 140686614618400 140686240161560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13984976 memory=3868712 CPUtime=0.27 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 1790 0 0 0 17 10 0 0 20 0 15 0 154673056 14320615424 980503 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13984976 memory=3868572 CPUtime=0.28 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 1582 0 0 0 18 10 0 0 20 0 15 0 154673056 14320615424 980503 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13984976 memory=3868712 CPUtime=0.27 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 1865 0 0 0 17 10 0 0 20 0 15 0 154673056 14320615424 980503 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13984976 memory=3868712 CPUtime=0.28 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 871 0 0 0 18 10 0 0 20 0 15 0 154673056 14320615424 980503 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13984976 memory=3922012 CPUtime=0.02 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 3025 0 0 0 2 0 0 0 20 0 15 0 154673057 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13984976 memory=3922012 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685790299104 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685789246464 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13984976 memory=3922012 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13984976 memory=1384 CPUtime=2.91 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) S 22681 22681 17435 0 -1 1077944384 13527 0 0 0 289 2 0 0 20 0 15 0 154673061 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685787142640 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13984976 memory=3922012 CPUtime=2.55 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) S 22681 22681 17435 0 -1 1077944384 11699 0 0 0 253 2 0 0 20 0 15 0 154673061 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13984976 memory=6791534058613427641 CPUtime=0.73 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) S 22681 22681 17435 0 -1 1077944384 4811 0 0 0 73 0 0 0 20 0 15 0 154673061 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685785037552 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13984976 memory=246 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13984976 memory=281242244174400 CPUtime=0.12 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 671 0 0 0 6 6 0 0 20 0 15 0 154673061 14320615424 980503 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 229.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3923396 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.71 1.91 1.95 2/195 22748
/proc/meminfo: memFree=20958744/32770624 swapFree=67108860/67108860
[pid=22681] ppid=22678 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22681/stat : 22681 (xcsp3-exec) S 22678 22681 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154673055 9740288 346 33554432000 4194304 5098028 140737239092624 140737239090728 140108748038780 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18116608 140737239098484 140737239098688 140737239098688 140737239101419 0
/proc/22681/statm: 2378 346 289 221 0 87 0
[pid=22683] ppid=22681 vsize=13984976 memory=3922016 CPUtime=247.19 cores=0,2,4,6
/proc/22683/stat : 22683 (java) S 22681 22681 17435 0 -1 1077944320 65235 0 0 0 24609 110 0 0 20 0 15 0 154673055 14320615424 980504 33554432000 4194304 4196468 140735901587248 140735901569792 140686610378487 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
/proc/22683/statm: 3496244 980504 3267 1 0 3483478 0
[pid=22683/tid=22684] ppid=22681 vsize=13984976 memory=6791534058613427641 CPUtime=239.66 cores=0,2,4,6
/proc/22683/task/22684/stat : 22684 (java) R 22681 22681 17435 0 -1 4202560 22801 0 0 0 23910 56 0 0 20 0 15 0 154673055 14320615424 980504 33554432000 4194304 4196468 140735901587248 140686614614544 140686242219898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22685] ppid=22681 vsize=13984976 memory=4126316290023845779 CPUtime=0.27 cores=0,2,4,6
/proc/22683/task/22685/stat : 22685 (java) S 22681 22681 17435 0 -1 1077944384 1790 0 0 0 17 10 0 0 20 0 15 0 154673056 14320615424 980504 33554432000 4194304 4196468 140735901587248 140686562999056 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22686] ppid=22681 vsize=13984976 memory=792 CPUtime=0.28 cores=0,2,4,6
/proc/22683/task/22686/stat : 22686 (java) S 22681 22681 17435 0 -1 1077944384 1582 0 0 0 18 10 0 0 20 0 15 0 154673056 14320615424 980504 33554432000 4194304 4196468 140735901587248 140686561946512 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22687] ppid=22681 vsize=13984976 memory=1204 CPUtime=0.27 cores=0,2,4,6
/proc/22683/task/22687/stat : 22687 (java) S 22681 22681 17435 0 -1 1077944384 1865 0 0 0 17 10 0 0 20 0 15 0 154673056 14320615424 980504 33554432000 4194304 4196468 140735901587248 140686560893968 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22688] ppid=22681 vsize=13984976 memory=1728 CPUtime=0.28 cores=0,2,4,6
/proc/22683/task/22688/stat : 22688 (java) S 22681 22681 17435 0 -1 1077944384 871 0 0 0 18 10 0 0 20 0 15 0 154673056 14320615424 980504 33554432000 4194304 4196468 140735901587248 140686559841424 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22689] ppid=22681 vsize=13984976 memory=1440 CPUtime=0.03 cores=0,2,4,6
/proc/22683/task/22689/stat : 22689 (java) S 22681 22681 17435 0 -1 1077944384 3025 0 0 0 2 1 0 0 20 0 15 0 154673057 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685791352816 140686610389634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22690] ppid=22681 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22690/stat : 22690 (java) S 22681 22681 17435 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685790299104 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22691] ppid=22681 vsize=13984976 memory=3922016 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22691/stat : 22691 (java) S 22681 22681 17435 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 154673058 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685789246464 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22692] ppid=22681 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22692/stat : 22692 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685788195024 140686610397083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22693] ppid=22681 vsize=13984976 memory=1228 CPUtime=2.91 cores=0,2,4,6
/proc/22683/task/22693/stat : 22693 (java) S 22681 22681 17435 0 -1 1077944384 13527 0 0 0 289 2 0 0 20 0 15 0 154673061 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685787142640 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22694] ppid=22681 vsize=13984976 memory=1952 CPUtime=2.55 cores=0,2,4,6
/proc/22683/task/22694/stat : 22694 (java) S 22681 22681 17435 0 -1 1077944384 11699 0 0 0 253 2 0 0 20 0 15 0 154673061 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685786090096 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22695] ppid=22681 vsize=13984976 memory=5796 CPUtime=0.74 cores=0,2,4,6
/proc/22683/task/22695/stat : 22695 (java) S 22681 22681 17435 0 -1 1077944384 6034 0 0 0 74 0 0 0 20 0 15 0 154673061 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685785037552 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22696] ppid=22681 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/22683/task/22696/stat : 22696 (java) S 22681 22681 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154673061 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685783985248 140686610388693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
[pid=22683/tid=22697] ppid=22681 vsize=13984976 memory=8624 CPUtime=0.12 cores=0,2,4,6
/proc/22683/task/22697/stat : 22697 (java) S 22681 22681 17435 0 -1 1077944384 673 0 0 0 6 6 0 0 20 0 15 0 154673061 14320615424 980504 33554432000 4194304 4196468 140735901587248 140685782931760 140686610389634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 31027200 140735901590685 140735901590860 140735901590860 140735901593551 0
Current children cumulated CPU time: 247.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3923400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 22681 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000921 s, system=0.000921 s
[startup+240.045 s]
# the end of solver process 22683 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.121 s, system=1.1313 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
Child status: 143
Real time (s): 240.045
CPU time (s): 247.252
CPU user time (s): 246.121
CPU system time (s): 1.1313
CPU usage (%): 103.002
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3923400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.121
system time used= 1.1313
maximum resident set size= 3922576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8132
involuntary context switches= 325
# summary of solver processes directly reported to runsolver:
# pid: 22681,22683
# total CPU time (s): 247.252
# total CPU user time (s): 246.121
# total CPU system time (s): 1.1313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2256 second user time and 2.71588 second system time
The end