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 (12481 MiB free)
memory of node 1: 16384 MiB (13710 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284206-1503214350/watcher-4284206-1503214350 -o /tmp/evaluation-result-4284206-1503214350/solver-4284206-1503214350 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25961 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1028788891 HOME/instance-4284206-1503214350.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
solver pid=30635, runsolver pid=30632
Current StackSize limit: 8192 KiB
[startup+0.106665 s]*
/proc/loadavg: 1.72 1.68 1.70 4/217 30651
/proc/meminfo: memFree=26803860/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13978596 memory=28492 CPUtime=0.13 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 5451 0 0 0 12 1 0 0 20 0 15 0 154522634 14314082304 7123 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3494649 7123 2890 1 0 3482966 0
[pid=30637/tid=30638] ppid=30635 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) R 30635 30635 25930 0 -1 4202560 3365 0 0 0 9 1 0 0 20 0 15 0 154522635 14314082304 7123 33554432000 4194304 4196468 140722528997488 140042282936416 140042278714774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14314082304 7123 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13978596 memory=140343020271232 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522635 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13978596 memory=140343020271232 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522637 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154522637 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041617622688 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154522637 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041616569584 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) S 30635 30635 25930 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 15 0 154522640 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041614465264 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) R 30635 30635 25930 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 154522640 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041613412720 140042256723641 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13978596 memory=140343020271232 CPUtime=0.02 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) R 30635 30635 25930 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 154522640 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041612359664 140042278724186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13978596 memory=140343020271232 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522640 14314082304 7123 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29876 KiB
[startup+0.210775 s]*
/proc/loadavg: 1.72 1.68 1.70 3/217 30651
/proc/meminfo: memFree=26793880/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13982852 memory=40724 CPUtime=0.33 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 8212 0 0 0 31 2 0 0 20 0 15 0 154522634 14318440448 10181 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3495713 10181 3082 1 0 3482966 0
[pid=30637/tid=30638] ppid=30635 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) D 30635 30635 25930 0 -1 1077944384 5329 0 0 0 18 1 0 0 20 0 15 0 154522635 14318440448 10181 33554432000 4194304 4196468 140722528997488 140042282912464 140042271382061 0 4 0 16800975 18446744072101707300 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13982852 memory=13599 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 10181 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13982852 memory=3978285799562196640 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14318473216 10181 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13982884 memory=140343020271232 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522637 14318473216 10181 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154522637 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041617622688 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154522637 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041616569584 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) S 30635 30635 25930 0 -1 1077944384 679 0 0 0 3 0 0 0 20 0 15 0 154522640 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041614465264 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) S 30635 30635 25930 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 154522640 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041613412720 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13982852 memory=140343020271232 CPUtime=0.07 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) S 30635 30635 25930 0 -1 1077944384 755 0 0 0 7 0 0 0 20 0 15 0 154522640 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041612359664 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522640 14318440448 10181 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42108 KiB
[startup+0.312453 s]*
/proc/loadavg: 1.72 1.68 1.70 4/217 30651
/proc/meminfo: memFree=26787428/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13982852 memory=47560 CPUtime=0.51 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 9013 0 0 0 49 2 0 0 20 0 15 0 154522634 14318440448 11890 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3495713 11890 3110 1 0 3482966 0
[pid=30637/tid=30638] ppid=30635 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) R 30635 30635 25930 0 -1 4202560 5937 0 0 0 28 1 0 0 20 0 15 0 154522635 14318440448 11890 33554432000 4194304 4196468 140722528997488 140042282942064 140041915235588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 11890 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522637 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154522637 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041617622688 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154522637 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041616569584 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) R 30635 30635 25930 0 -1 4202560 734 0 0 0 4 0 0 0 20 0 15 0 154522640 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041614465360 140042264719383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) R 30635 30635 25930 0 -1 1077944384 168 0 0 0 3 0 0 0 20 0 15 0 154522640 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041613412720 140042278713986 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) R 30635 30635 25930 0 -1 4202560 869 0 0 0 13 0 0 0 20 0 15 0 154522640 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041612355424 140042257605984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522640 14318440448 11890 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48944 KiB
[startup+0.704667 s]
/proc/loadavg: 1.72 1.68 1.70 5/217 30651
/proc/meminfo: memFree=26770680/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13984976 memory=75348 CPUtime=1.66 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 11963 0 0 0 162 4 0 0 20 0 15 0 154522634 14320615424 18837 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3496244 18837 3212 1 0 3483478 0
[pid=30637/tid=30638] ppid=30635 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) R 30635 30635 25930 0 -1 4202560 6698 0 0 0 65 2 0 0 20 0 15 0 154522635 14320615424 18837 33554432000 4194304 4196468 140722528997488 140042282940912 140041919606175 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14320615424 18837 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13984976 memory=42908 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522635 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154522635 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041617622688 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041616569584 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13984976 memory=1956 CPUtime=0.28 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) R 30635 30635 25930 0 -1 4202560 1492 0 0 0 28 0 0 0 20 0 15 0 154522640 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041614455056 140042262197075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13984976 memory=8608 CPUtime=0.28 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) R 30635 30635 25930 0 -1 4202560 727 0 0 0 28 0 0 0 20 0 15 0 154522640 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041613412720 140042258195838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13984976 memory=1228 CPUtime=0.4 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) S 30635 30635 25930 0 -1 1077944384 1738 0 0 0 40 0 0 0 20 0 15 0 154522640 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041612359664 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 18837 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76732 KiB
[startup+1.50075 s]
/proc/loadavg: 1.72 1.68 1.70 3/217 30651
/proc/meminfo: memFree=26749344/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041616569584 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13984976 memory=6944656592455359580 CPUtime=2.48 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) S 30635 30635 25930 0 -1 1077944384 13143 0 0 0 246 2 0 0 20 0 15 0 154522640 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041614465264 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13984976 memory=187716 CPUtime=2.22 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) S 30635 30635 25930 0 -1 1077944384 11298 0 0 0 221 1 0 0 20 0 15 0 154522640 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041613412720 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13984976 memory=1384 CPUtime=0.71 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) S 30635 30635 25930 0 -1 1077944384 8240 0 0 0 69 2 0 0 20 0 15 0 154522640 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041612359664 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13984976 memory=188744 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1076 0 0 0 1 1 0 0 20 0 15 0 154522640 14320615424 46548 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 108.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 187576 KiB
[startup+162.301 s]
/proc/loadavg: 1.51 1.60 1.67 3/218 30739
/proc/meminfo: memFree=26352752/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13984976 memory=224700 CPUtime=168.99 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 61224 0 0 0 16866 33 0 0 20 0 15 0 154522634 14320615424 56175 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3496244 56175 3257 1 0 3483478 0
[pid=30637/tid=30638] ppid=30635 vsize=13984976 memory=224700 CPUtime=161.72 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) R 30635 30635 25930 0 -1 4202560 13931 0 0 0 16166 6 0 0 20 0 15 0 154522635 14320615424 56175 33554432000 4194304 4196468 140722528997488 140042282941920 140041921285924 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13984976 memory=218404 CPUtime=0.33 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 1048 0 0 0 28 5 0 0 20 0 15 0 154522635 14320615424 56175 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13984976 memory=222652 CPUtime=0.32 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 1821 0 0 0 27 5 0 0 20 0 15 0 154522635 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13984976 memory=222652 CPUtime=0.32 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 982 0 0 0 27 5 0 0 20 0 15 0 154522635 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13984976 memory=224700 CPUtime=0.31 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 998 0 0 0 27 4 0 0 20 0 15 0 154522635 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13984976 memory=214308 CPUtime=0.12 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 1412 0 0 0 11 1 0 0 20 0 15 0 154522637 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13984976 memory=211264 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041617622752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13984976 memory=216356 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041616569600 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13984976 memory=1384 CPUtime=2.66 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) S 30635 30635 25930 0 -1 1077944384 15724 0 0 0 264 2 0 0 20 0 15 0 154522640 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041614465264 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13984976 memory=222652 CPUtime=2.36 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) S 30635 30635 25930 0 -1 1077944384 14072 0 0 0 235 1 0 0 20 0 15 0 154522640 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041613412720 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13984976 memory=1296 CPUtime=0.73 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) S 30635 30635 25930 0 -1 1077944384 8750 0 0 0 71 2 0 0 20 0 15 0 154522640 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041612359664 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13984976 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1115 0 0 0 2 2 0 0 20 0 15 0 154522640 14320615424 56175 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 168.99 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 226084 KiB
[startup+222.301 s]
/proc/loadavg: 1.64 1.62 1.67 3/219 30741
/proc/meminfo: memFree=26065856/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13984976 memory=260160 CPUtime=229.52 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 66026 0 0 0 22913 39 0 0 20 0 15 0 154522634 14320615424 65040 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3496244 65040 3257 1 0 3483478 0
[pid=30637/tid=30638] ppid=30635 vsize=13984976 memory=248068 CPUtime=221.44 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) R 30635 30635 25930 0 -1 4202560 14849 0 0 0 22138 6 0 0 20 0 15 0 154522635 14320615424 65040 33554432000 4194304 4196468 140722528997488 140042282941920 140041921286552 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13984976 memory=250444 CPUtime=0.47 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 1195 0 0 0 41 6 0 0 20 0 15 0 154522635 14320615424 65040 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13984976 memory=256596 CPUtime=0.47 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 1957 0 0 0 41 6 0 0 20 0 15 0 154522635 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13984976 memory=258644 CPUtime=0.46 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 1300 0 0 0 40 6 0 0 20 0 15 0 154522635 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13984976 memory=1384 CPUtime=0.46 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 1754 0 0 0 41 5 0 0 20 0 15 0 154522635 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13984976 memory=258644 CPUtime=0.19 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 1676 0 0 0 17 2 0 0 20 0 15 0 154522637 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041617622752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13984976 memory=260160 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041616569600 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13984976 memory=260160 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13984976 memory=252492 CPUtime=2.72 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) S 30635 30635 25930 0 -1 1077944384 17404 0 0 0 270 2 0 0 20 0 15 0 154522640 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041614465264 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13984976 memory=1384 CPUtime=2.43 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) S 30635 30635 25930 0 -1 1077944384 14239 0 0 0 242 1 0 0 20 0 15 0 154522640 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041613412720 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13984976 memory=258644 CPUtime=0.74 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) S 30635 30635 25930 0 -1 1077944384 8944 0 0 0 72 2 0 0 20 0 15 0 154522640 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041612359664 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13984976 memory=4140 CPUtime=0.05 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1337 0 0 0 3 2 0 0 20 0 15 0 154522640 14320615424 65040 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 229.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 261544 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.74 1.64 1.68 3/219 30741
/proc/meminfo: memFree=26057540/32770624 swapFree=67108860/67108860
[pid=30635] ppid=30632 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30635/stat : 30635 (xcsp3-exec) S 30632 30635 25930 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154522634 9740288 346 33554432000 4194304 5098028 140725582233040 140725582231144 140678961762940 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 31879168 140725582238836 140725582239040 140725582239040 140725582241771 0
/proc/30635/statm: 2378 346 289 221 0 87 0
[pid=30637] ppid=30635 vsize=13984976 memory=268244 CPUtime=247.36 cores=0,2,4,6
/proc/30637/stat : 30637 (java) S 30635 30635 25930 0 -1 1077944320 67538 0 0 0 24695 41 0 0 20 0 15 0 154522634 14320615424 67061 33554432000 4194304 4196468 140722528997488 140722528980032 140042278702839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
/proc/30637/statm: 3496244 67061 3257 1 0 3483478 0
[pid=30637/tid=30638] ppid=30635 vsize=13984976 memory=1728 CPUtime=239.09 cores=0,2,4,6
/proc/30637/task/30638/stat : 30638 (java) R 30635 30635 25930 0 -1 4202560 15017 0 0 0 23903 6 0 0 20 0 15 0 154522635 14320615424 67061 33554432000 4194304 4196468 140722528997488 140042282938528 140041922036914 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30639] ppid=30635 vsize=13984976 memory=796 CPUtime=0.5 cores=0,2,4,6
/proc/30637/task/30639/stat : 30639 (java) S 30635 30635 25930 0 -1 1077944384 1208 0 0 0 44 6 0 0 20 0 15 0 154522635 14320615424 67061 33554432000 4194304 4196468 140722528997488 140042241808912 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30640] ppid=30635 vsize=13984976 memory=4872558044660077418 CPUtime=0.5 cores=0,2,4,6
/proc/30637/task/30640/stat : 30640 (java) S 30635 30635 25930 0 -1 1077944384 1978 0 0 0 44 6 0 0 20 0 15 0 154522635 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041873713808 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30641] ppid=30635 vsize=13984976 memory=266196 CPUtime=0.51 cores=0,2,4,6
/proc/30637/task/30641/stat : 30641 (java) S 30635 30635 25930 0 -1 1077944384 1317 0 0 0 44 7 0 0 20 0 15 0 154522635 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041872660752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30642] ppid=30635 vsize=13984976 memory=2424 CPUtime=0.5 cores=0,2,4,6
/proc/30637/task/30642/stat : 30642 (java) S 30635 30635 25930 0 -1 1077944384 1780 0 0 0 44 6 0 0 20 0 15 0 154522635 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041871608208 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30643] ppid=30635 vsize=13984976 memory=268244 CPUtime=0.2 cores=0,2,4,6
/proc/30637/task/30643/stat : 30643 (java) S 30635 30635 25930 0 -1 1077944384 1685 0 0 0 18 2 0 0 20 0 15 0 154522637 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041618676464 140042278713986 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30644] ppid=30635 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30644/stat : 30644 (java) S 30635 30635 25930 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041617622752 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30645] ppid=30635 vsize=13984976 memory=1956 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30645/stat : 30645 (java) S 30635 30635 25930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154522637 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041616569600 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30646] ppid=30635 vsize=13984976 memory=8608 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30646/stat : 30646 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041615518160 140042278721435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30647] ppid=30635 vsize=13984976 memory=1228 CPUtime=2.72 cores=0,2,4,6
/proc/30637/task/30647/stat : 30647 (java) S 30635 30635 25930 0 -1 1077944384 17501 0 0 0 270 2 0 0 20 0 15 0 154522640 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041614465264 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30648] ppid=30635 vsize=13984976 memory=12136 CPUtime=2.45 cores=0,2,4,6
/proc/30637/task/30648/stat : 30648 (java) S 30635 30635 25930 0 -1 1077944384 15268 0 0 0 244 1 0 0 20 0 15 0 154522640 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041613412720 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30649] ppid=30635 vsize=13984976 memory=5792 CPUtime=0.74 cores=0,2,4,6
/proc/30637/task/30649/stat : 30649 (java) S 30635 30635 25930 0 -1 1077944384 9075 0 0 0 72 2 0 0 20 0 15 0 154522640 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041612359664 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30650] ppid=30635 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30637/task/30650/stat : 30650 (java) S 30635 30635 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154522640 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041611307360 140042278713045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
[pid=30637/tid=30651] ppid=30635 vsize=13984976 memory=2948 CPUtime=0.05 cores=0,2,4,6
/proc/30637/task/30651/stat : 30651 (java) S 30635 30635 25930 0 -1 1077944384 1338 0 0 0 3 2 0 0 20 0 15 0 154522640 14320615424 67061 33554432000 4194304 4196468 140722528997488 140041610255408 140042278713986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17207296 140722528998557 140722528998732 140722528998732 140722529001423 0
Current children cumulated CPU time: 247.36 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.021 s]
# the end of solver process 30635 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000898 s, system=0.000898 s
[startup+240.023 s]
# the end of solver process 30637 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.962 s, system=0.419369 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.023
CPU time (s): 247.382
CPU user time (s): 246.962
CPU system time (s): 0.419369
CPU usage (%): 103.066
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 269628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.962
system time used= 0.419369
maximum resident set size= 268876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68377
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13710
involuntary context switches= 471
# summary of solver processes directly reported to runsolver:
# pid: 30635,30637
# total CPU time (s): 247.382
# total CPU user time (s): 246.962
# total CPU system time (s): 0.419369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61562 second user time and 2.22204 second system time
The end